Home
last modified time | relevance | path

Searched refs:kvm_register_mark_dirty (Results 1 – 3 of 3) sorted by relevance

/Linux-v5.10/arch/x86/kvm/
Dkvm_cache_regs.h58 static inline void kvm_register_mark_dirty(struct kvm_vcpu *vcpu, in kvm_register_mark_dirty() function
83 kvm_register_mark_dirty(vcpu, reg); in kvm_register_write()
Dx86.c775 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
/Linux-v5.10/arch/x86/kvm/vmx/
Dvmx.c2973 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()