Home
last modified time | relevance | path

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

/linux/arch/x86/kvm/
A 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()
A Dx86.c832 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
10650 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2()
11083 kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP); in kvm_vcpu_reset()
11103 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
/linux/arch/x86/kvm/vmx/
A Dvmx.c2988 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()

Completed in 36 milliseconds