Searched refs:IOAPICID (Results 1 – 1 of 1) sorted by relevance
18 #define IOAPICID 0x00 /* IOAPIC ID */ macro57 uint32_t id = (IOAPIC_Read(IOAPICID) >> 24) & 0x0F; in IOAPIC_Init()88 kprintf("IOAPIC ID: %08x\n", IOAPIC_Read(IOAPICID)); in Debug_IOAPIC()