Searched defs:pin_based_exec_ctrl (Results 1 – 1 of 1) sorted by relevance
916 u32 pin_based_exec_ctrl; member4689 u32 pin_based_exec_ctrl = vmcs_config.pin_based_exec_ctrl; in vmx_pin_based_exec_ctrl() local7936 u32 pin_based_exec_ctrl = vmcs_read32(PIN_BASED_VM_EXEC_CONTROL); in dump_vmcs() local