Searched refs:IOAPICVER (Results 1 – 1 of 1) sorted by relevance
19 #define IOAPICVER 0x01 /* IOAPIC Version */ macro58 uint32_t maxInts = (IOAPIC_Read(IOAPICVER) >> 16) & 0xFF; in IOAPIC_Init()89 kprintf("IOAPIC VERSION: %08x\n", IOAPIC_Read(IOAPICVER)); in Debug_IOAPIC()