Searched refs:IOAPIC_Read (Results 1 – 1 of 1) sorted by relevance
30 IOAPIC_Read(uint32_t reg) in IOAPIC_Read() function57 uint32_t id = (IOAPIC_Read(IOAPICID) >> 24) & 0x0F; in IOAPIC_Init()58 uint32_t maxInts = (IOAPIC_Read(IOAPICVER) >> 16) & 0xFF; in IOAPIC_Init()72 uint32_t val = IOAPIC_Read(IOREDTBL0 + 2*irq); in IOAPIC_Enable()79 uint32_t val = IOAPIC_Read(IOREDTBL0 + 2*irq); in IOAPIC_Disable()88 kprintf("IOAPIC ID: %08x\n", IOAPIC_Read(IOAPICID)); in Debug_IOAPIC()89 kprintf("IOAPIC VERSION: %08x\n", IOAPIC_Read(IOAPICVER)); in Debug_IOAPIC()93 uint32_t irqInfo = IOAPIC_Read(IOREDTBL0 + 2*i); in Debug_IOAPIC()94 uint32_t cpuInfo = IOAPIC_Read(IOREDTBL0 + 2*i + 1); in Debug_IOAPIC()