Searched refs:apic_read (Results 1 – 1 of 1) sorted by relevance
78 uint32_t apic_read(volatile struct elroy_regs *, uint32_t reg);95 apic_read(volatile struct elroy_regs *r, uint32_t reg) in apic_read() function107 data = apic_read(r, APIC_VERSION); in apic_attach()329 printf("0x%04x 0x%04x\n", apic_read(sc->sc_regs, APIC_ENT0(i)), in apic_dump()330 apic_read(sc->sc_regs, APIC_ENT1(i))); in apic_dump()