Searched refs:dest_ExtINT (Results 1 – 2 of 2) sorted by relevance
443 dest_ExtINT = 7 enumerator
1394 if ((entry.mask == 0) && (entry.delivery_mode == dest_ExtINT)) { in enable_IO_APIC()1442 entry.delivery_mode = dest_ExtINT; in native_restore_boot_irq_mode()2075 entry1.delivery_mode = dest_ExtINT; in unlock_ExtINT_logic()