Home
last modified time | relevance | path

Searched refs:irqInfo (Results 1 – 1 of 1) sorted by relevance

/sys/amd64/
Dioapic.c93 uint32_t irqInfo = IOAPIC_Read(IOREDTBL0 + 2*i); in Debug_IOAPIC() local
95 kprintf("%02x: %08x %08x\n", i, irqInfo, cpuInfo); in Debug_IOAPIC()