apic.c | 78 uint32_t apic_read(volatile struct elroy_regs *, uint32_t reg); 95 apic_read(volatile struct elroy_regs *r, uint32_t reg) function in typeref:typename:uint32_t 107 data = apic_read(r, APIC_VERSION); 329 printf("0x%04x 0x%04x\n", apic_read(sc->sc_regs, APIC_ENT0(i)), 330 apic_read(sc->sc_regs, APIC_ENT1(i)));
|