Searched refs:VMCS_EXIT_CTLS (Results 1 – 3 of 3) sorted by relevance
174 #define VMCS_EXIT_CTLS 0x0000400C macro
1030 error += vmwrite(VMCS_EXIT_CTLS, exit_ctls); in vmx_vminit()
1138 error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_CTLS, &ctl); in get_misc_vmcs()