Searched refs:SECONDARY_VM_EXEC_CONTROL (Results 1 – 2 of 2) sorted by relevance
162 SECONDARY_VM_EXEC_CONTROL = 0x0000401e, enumerator
2658 vmcs_write32(SECONDARY_VM_EXEC_CONTROL, exec_control); in vmx_vcpu_setup()4353 exec_control = vmcs_read32(SECONDARY_VM_EXEC_CONTROL);4360 vmcs_write32(SECONDARY_VM_EXEC_CONTROL,