Searched refs:gate_type (Results 1 – 2 of 2) sorted by relevance
111 … *cpu, x86_segment_selector tss_sel, int reason, bool gate_valid, uint8_t gate, uint64_t gate_type) in vmx_handle_task_switch() argument114 if (!gate_valid || (gate_type != VMCS_INTR_T_HWEXCEPTION && in vmx_handle_task_switch()115 gate_type != VMCS_INTR_T_HWINTR && in vmx_handle_task_switch()116 gate_type != VMCS_INTR_T_NMI)) { in vmx_handle_task_switch()
19 int reason, bool gate_valid, uint8_t gate, uint64_t gate_type);