Searched refs:IDT_DF (Results 1 – 2 of 2) sorted by relevance
91 } else if ((vector == IDT_DF) || (vector == IDT_MC)) { in get_exception_type()206 if ((prev_vector == IDT_DF) && (new_class != EXCEPTION_CLASS_BENIGN)) { in vcpu_queue_exception()213 vector = IDT_DF; in vcpu_queue_exception()
121 #define IDT_DF 8U /* #DF: Double Fault */ macro
Completed in 6 milliseconds