lapic_readreg
extern uint32_t lapic_readreg(u_int);
reg = lapic_readreg(LAPIC_ID);
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(lvtreg))
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(LAPIC_LVT_LINT0));
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(LAPIC_LVT_LINT1));
return lapic_readreg(LAPIC_CCR_TIMER);
if (lapic_readreg(reg) & (1 << (LAPIC_TIMER_VECTOR % 32))) {
val = lapic_readreg(reg);
val = lapic_readreg(reg);
amd_lapic_saved[cpu_index(ci)] = lapic_readreg(LAPIC_LVT_PCINT);
pcint = lapic_readreg(LAPIC_LVT_PCINT);
intel_lapic_saved[cpu_index(ci)] = lapic_readreg(LAPIC_LVT_PCINT);