elroy_regs
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *r = sc->sc_regs;
void apic_write(volatile struct elroy_regs *, uint32_t, uint32_t);
uint32_t apic_read(volatile struct elroy_regs *, uint32_t reg);
apic_write(volatile struct elroy_regs *r, uint32_t reg, uint32_t val)
apic_read(volatile struct elroy_regs *r, uint32_t reg)
volatile struct elroy_regs *r;
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *r = sc->sc_regs;
volatile struct elroy_regs *sc_regs;