Searched refs:VCPU_EXREG_CR3 (Results 1 – 6 of 6) sorted by relevance
/linux-6.12.1/arch/x86/kvm/ |
D | kvm_cache_regs.h | 192 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in kvm_read_cr3() 193 kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_CR3); in kvm_read_cr3()
|
D | x86.c | 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() 12495 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
|
/linux-6.12.1/arch/x86/kvm/vmx/ |
D | vmx.h | 631 (1 << VCPU_EXREG_CR3) | \
|
D | vmx.c | 2523 case VCPU_EXREG_CR3: in vmx_cache_reg() 3351 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in vmx_set_cr0() 3352 vmx_cache_reg(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0() 3389 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0() 3432 else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3)) in vmx_load_mmu_pgd()
|
D | nested.c | 1158 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in nested_vmx_load_cr3() 4838 kvm_register_mark_available(vcpu, VCPU_EXREG_CR3); in nested_vmx_restore_host_state()
|
/linux-6.12.1/arch/x86/include/asm/ |
D | kvm_host.h | 192 VCPU_EXREG_CR3, enumerator
|