Searched refs:cpu_exec_ctrl (Results 1 – 1 of 1) sorted by relevance
5976 u32 cpu_exec_ctrl; in handle_invalid_guest_state() local5980 cpu_exec_ctrl = vmcs_read32(CPU_BASED_VM_EXEC_CONTROL); in handle_invalid_guest_state()5981 intr_window_requested = cpu_exec_ctrl & CPU_BASED_VIRTUAL_INTR_PENDING; in handle_invalid_guest_state()