Lines Matching refs:uint32_t

29 uint32_t
30 IOAPIC_Read(uint32_t reg)
32     uint32_t volatile *addr = (uint32_t volatile *)DMPA2VA(IOAPICBASE);
33     uint32_t volatile *cmd = (uint32_t volatile *)DMPA2VA(IOAPICBASE + 0x10);
42 IOAPIC_Write(uint32_t reg, uint32_t val)
44     uint32_t volatile *addr = (uint32_t volatile *)DMPA2VA(IOAPICBASE);
45     uint32_t volatile *cmd = (uint32_t volatile *)DMPA2VA(IOAPICBASE + 0x10);
57     uint32_t id = (IOAPIC_Read(IOAPICID) >> 24) & 0x0F;
58     uint32_t maxInts = (IOAPIC_Read(IOAPICVER) >> 16) & 0xFF;
72     uint32_t val = IOAPIC_Read(IOREDTBL0 + 2*irq);
79     uint32_t val = IOAPIC_Read(IOREDTBL0 + 2*irq);
93 	uint32_t irqInfo = IOAPIC_Read(IOREDTBL0 + 2*i);
94 	uint32_t cpuInfo = IOAPIC_Read(IOREDTBL0 + 2*i + 1);