Searched refs:kvm_register_mark_dirty (Results 1 – 4 of 4) sorted by relevance
| /linux/arch/x86/kvm/ |
| A D | kvm_cache_regs.h | 71 static inline void kvm_register_mark_dirty(struct kvm_vcpu *vcpu, in kvm_register_mark_dirty() function
113 kvm_register_mark_dirty(vcpu, reg); in kvm_register_write_raw()
|
| A D | x86.c | 1095 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
1482 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_set_cr3()
11916 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in __set_sregs_common()
12009 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2()
12477 kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP); in kvm_vcpu_reset()
12495 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
|
| /linux/arch/x86/kvm/vmx/ |
| A D | nested.c | 1158 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in nested_vmx_load_cr3()
|
| A D | vmx.c | 3389 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0()
|
Completed in 46 milliseconds