Searched refs:VMCS_PIN_BASED_CTLS (Results 1 – 3 of 3) sorted by relevance
181 #define VMCS_PIN_BASED_CTLS 0x00004000 macro
1118 error += vmwrite(VMCS_PIN_BASED_CTLS, pinbased_ctls); in vmx_init()
1080 error = vm_get_vmcs_field(ctx, vcpu, VMCS_PIN_BASED_CTLS, &ctl); in get_misc_vmcs()