Home
last modified time | relevance | path

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

/Linux-v5.15/arch/x86/kvm/
Dkvm_cache_regs.h65 static inline void kvm_register_mark_dirty(struct kvm_vcpu *vcpu, in kvm_register_mark_dirty() function
95 kvm_register_mark_dirty(vcpu, reg); in kvm_register_write_raw()
Dx86.c850 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
10466 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2()
10938 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
/Linux-v5.15/arch/x86/kvm/vmx/
Dvmx.c2996 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()