Searched refs:VCPU_EXREG_CR3 (Results 1 – 6 of 6) sorted by relevance
| /arch/x86/kvm/ |
| A D | kvm_cache_regs.h | 209 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in kvm_read_cr3()
210 kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_CR3); in kvm_read_cr3()
|
| A D | x86.c | 1451 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_set_cr3()
11901 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in __set_sregs_common()
12486 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
|
| /arch/x86/kvm/vmx/ |
| A D | vmx.h | 630 (1 << VCPU_EXREG_CR3) | \
|
| A D | vmx.c | 2475 case VCPU_EXREG_CR3: in vmx_cache_reg()
3316 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in vmx_set_cr0()
3317 vmx_cache_reg(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0()
3354 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0()
3397 else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3)) in vmx_load_mmu_pgd()
|
| A D | nested.c | 1174 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in nested_vmx_load_cr3()
4887 kvm_register_mark_available(vcpu, VCPU_EXREG_CR3); in nested_vmx_restore_host_state()
|
| /arch/x86/include/asm/ |
| A D | kvm_host.h | 198 VCPU_EXREG_CR3, enumerator
|
Completed in 65 milliseconds