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