Searched refs:vmx_vmwrite (Results 1 – 1 of 1) sorted by relevance
| /dragonfly/sys/dev/virtual/nvmm/x86/ |
| H A D | nvmm_x86_vmx.c | 1658 vmx_vmwrite(VMCS_ENTRY_CTLS, ctls1); in vmx_inkernel_handle_cr0()
1668 vmx_vmwrite(VMCS_GUEST_CR0, realcr0); in vmx_inkernel_handle_cr0()
1707 vmx_vmwrite(VMCS_GUEST_CR4, cr4); in vmx_inkernel_handle_cr4()
2633 vmx_vmwrite(VMCS_CR0_SHADOW, in vmx_vcpu_setstate()
2636 vmx_vmwrite(VMCS_GUEST_CR0, in vmx_vcpu_setstate()
2646 vmx_vmwrite(VMCS_GUEST_CR4, in vmx_vcpu_setstate()
2679 vmx_vmwrite(VMCS_GUEST_IA32_EFER, in vmx_vcpu_setstate()
2681 vmx_vmwrite(VMCS_GUEST_IA32_PAT, in vmx_vcpu_setstate()
2896 vmx_vmwrite(VMCS_VPID, i); in vmx_asid_alloc()
2990 vmx_vmwrite(VMCS_CR4_SHADOW, 0); in vmx_vcpu_init()
[all …]
|