Searched refs:is_double_fault (Results 1 – 2 of 2) sorted by relevance
108 static inline bool is_double_fault(u32 intr_info) in is_double_fault() function
3850 is_double_fault(exit_intr_info))) { in vmcs12_save_pending_event()