Searched refs:VCPU_EXREG_CR3 (Results 1 – 6 of 6) sorted by relevance
/openbmc/linux/arch/x86/kvm/ |
H A D | kvm_cache_regs.h | 192 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in kvm_read_cr3() 193 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_CR3); in kvm_read_cr3()
|
H A D | x86.c | 1297 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_set_cr3() 11542 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in __set_sregs_common() 12136 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
|
/openbmc/linux/arch/x86/kvm/vmx/ |
H A D | vmx.h | 626 (1 << VCPU_EXREG_CR3) | \
|
H A D | vmx.c | 2499 case VCPU_EXREG_CR3: in vmx_cache_reg() 3328 if (!kvm_register_is_available(vcpu, VCPU_EXREG_CR3)) in vmx_set_cr0() 3329 vmx_cache_reg(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0() 3366 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0() 3410 else if (kvm_register_is_dirty(vcpu, VCPU_EXREG_CR3)) in vmx_load_mmu_pgd()
|
H A D | nested.c | 1105 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in nested_vmx_load_cr3() 4697 kvm_register_mark_available(vcpu, VCPU_EXREG_CR3); in nested_vmx_restore_host_state()
|
/openbmc/linux/arch/x86/include/asm/ |
H A D | kvm_host.h | 182 VCPU_EXREG_CR3, enumerator
|