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