Searched refs:VCPU_EXREG_CR3 (Results 1 – 6 of 6) sorted by relevance
/Linux-v6.1/arch/x86/kvm/ |
D | kvm_cache_regs.h | 164 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in kvm_read_cr3() 165 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_CR3); in kvm_read_cr3()
|
D | x86.c | 1273 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_set_cr3() 11512 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in __set_sregs_common() 12097 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
|
/Linux-v6.1/arch/x86/kvm/vmx/ |
D | vmx.h | 638 (1 << VCPU_EXREG_CR3) | \
|
D | vmx.c | 2403 case VCPU_EXREG_CR3: in vmx_cache_reg() 3176 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in vmx_set_cr0() 3177 vmx_cache_reg(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0() 3214 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0() 3258 else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3)) in vmx_load_mmu_pgd()
|
D | nested.c | 1090 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in nested_vmx_load_cr3() 4611 kvm_register_mark_available(vcpu, VCPU_EXREG_CR3); in nested_vmx_restore_host_state()
|
/Linux-v6.1/arch/x86/include/asm/ |
D | kvm_host.h | 179 VCPU_EXREG_CR3, enumerator
|