Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/arch/x86/kvm/
H A 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()
H A Dx86.c796 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
/OK3568_Linux_fs/kernel/arch/x86/kvm/vmx/
H A Dvmx.c3071 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()