Searched refs:VCPU_REG_CR3 (Results 1 – 5 of 5) sorted by relevance
179 VCPU_REG_CR3, enumerator180 VCPU_REG_ERAPS = VCPU_REG_CR3,
634 BIT(VCPU_REG_CR3) | \
2661 case VCPU_REG_CR3: in vmx_cache_reg()3487 if (!kvm_register_is_available(vcpu, VCPU_REG_CR3)) in vmx_set_cr0()3488 vmx_cache_reg(vcpu, VCPU_REG_CR3); in vmx_set_cr0()3525 kvm_register_mark_dirty(vcpu, VCPU_REG_CR3); in vmx_set_cr0()3554 else if (kvm_register_is_dirty(vcpu, VCPU_REG_CR3)) in vmx_load_mmu_pgd()
1254 kvm_register_mark_dirty(vcpu, VCPU_REG_CR3); in nested_vmx_load_cr3()5003 kvm_register_mark_available(vcpu, VCPU_REG_CR3); in nested_vmx_restore_host_state()
9625 kvm_register_mark_dirty(vcpu, VCPU_REG_CR3); in kvm_vcpu_reset()