Searched refs:cpuInfo (Results 1 – 1 of 1) sorted by relevance
94 uint32_t cpuInfo = IOAPIC_Read(IOREDTBL0 + 2*i + 1); in Debug_IOAPIC() local95 kprintf("%02x: %08x %08x\n", i, irqInfo, cpuInfo); in Debug_IOAPIC()