Searched refs:VMCS_HOST_CR4 (Results 1 – 3 of 3) sorted by relevance
232 #define VMCS_HOST_CR4 0x00006C04 macro
802 vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE); in vmx_vminit()
1048 error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR4, &cr4); in get_misc_vmcs()