Searched refs:maxInts (Results 1 – 1 of 1) sorted by relevance
58 uint32_t maxInts = (IOAPIC_Read(IOAPICVER) >> 16) & 0xFF; in IOAPIC_Init() local60 kprintf("IOAPIC: ID:%d Max Interrupts: %d\n", id, maxInts); in IOAPIC_Init()