Searched refs:VMCS_HOST_CR4 (Results 1 – 3 of 3) sorted by relevance
279 #define VMCS_HOST_CR4 0x00006C04 macro
376 if ((error = vmwrite(VMCS_HOST_CR4, cr4)) != 0) in vmcs_init()
983 error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR4, &cr4); in get_misc_vmcs()