Searched refs:IOREDTBL0 (Results 1 – 1 of 1) sorted by relevance
21 #define IOREDTBL0 0x10 macro64 IOAPIC_Write(IOREDTBL0 + 2*i, IOREDTBL_MASK | (T_IRQ_BASE + i)); in IOAPIC_Init()65 IOAPIC_Write(IOREDTBL0 + 2*i + 1, 0); in IOAPIC_Init()72 uint32_t val = IOAPIC_Read(IOREDTBL0 + 2*irq); in IOAPIC_Enable()73 IOAPIC_Write(IOREDTBL0 + 2*irq, val & ~IOREDTBL_MASK); in IOAPIC_Enable()79 uint32_t val = IOAPIC_Read(IOREDTBL0 + 2*irq); in IOAPIC_Disable()80 IOAPIC_Write(IOREDTBL0 + 2*irq, val | IOREDTBL_MASK); in IOAPIC_Disable()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()