Searched defs:pin_based_exec_ctrl (Results 1 – 3 of 3) sorted by relevance
57 u32 pin_based_exec_ctrl; member
4172 u32 pin_based_exec_ctrl = vmcs_config.pin_based_exec_ctrl; in vmx_pin_based_exec_ctrl() local5867 u32 cpu_based_exec_ctrl, pin_based_exec_ctrl, secondary_exec_control; in dump_vmcs() local
1328 u32 pin_based_exec_ctrl; member6351 u32 pin_based_exec_ctrl = vmcs_config.pin_based_exec_ctrl; in vmx_pin_based_exec_ctrl() local9939 u32 pin_based_exec_ctrl = vmcs_read32(PIN_BASED_VM_EXEC_CONTROL); in dump_vmcs() local