lapic_read32
lapic_read32(LAPIC_LVT_PCINT)));
lapic_read32(LAPIC_EXT_LVT0)));
return (APIC_TIMER_MAX_COUNT - lapic_read32(LAPIC_CCR_TIMER));
value = lapic_read32(LAPIC_SVR);
value = lapic_read32(LAPIC_SVR);
v = lapic_read32(LAPIC_ID);
irr = lapic_read32(LAPIC_IRR0 + vector / 32);
tpr = lapic_read32(LAPIC_TPR) & ~APIC_TPR_PRIO;
value = lapic_read32(LAPIC_EXT_LVT0 + APIC_ELVT_MCA);
lapic_read32(LAPIC_LVT_THERMAL)));
esr = lapic_read32(LAPIC_ESR);
const uint32_t vr = lapic_read32(LAPIC_SVR);
db_printf("TPR = %02x\n", lapic_read32(LAPIC_TPR));
l->lvt_desc, lapic_read32(l->lvt_reg));
l->lvt_desc, lapic_read32(l->lvt_reg));
lapic_read32(LAPIC_ ## regn ## index), \
return (lapic_read32(LAPIC_VERSION));
return (lapic_read32(LAPIC_ICR_LO));
return (lapic_read32(LAPIC_EXT_FEATURES));
lapic_read32(LAPIC_ID), version,
lapic_read32(LAPIC_LDR), x2apic_mode ? 0 : lapic_read32(LAPIC_DFR));
lapic_read32(LAPIC_LVT_LINT0), lapic_read32(LAPIC_LVT_LINT1),
lapic_read32(LAPIC_TPR), lapic_read32(LAPIC_SVR));
printf(" timer: 0x%08x err: 0x%08x", lapic_read32(LAPIC_LVT_TIMER),
lapic_read32(LAPIC_LVT_ERROR));
printf(" therm: 0x%08x", lapic_read32(LAPIC_LVT_THERMAL));
printf(" pmc: 0x%08x", lapic_read32(LAPIC_LVT_PCINT));
printf(" cmci: 0x%08x\n", lapic_read32(LAPIC_LVT_CMCI));
lapic_read32(LAPIC_EXT_LVT0 + i));
v = lapic_read32(l->lvt_reg);
lapic_read32(LAPIC_LVT_LINT0)));
lapic_read32(LAPIC_LVT_LINT1)));
lapic_read32(LAPIC_LVT_TIMER));
lapic_read32(LAPIC_LVT_ERROR)));
lapic_read32(LAPIC_LVT_THERMAL)));
lapic_read32(LAPIC_LVT_CMCI)));
elvt_mode(la, i, lapic_read32(LAPIC_EXT_LVT0 + i)));
value = lapic_read32(LAPIC_LVT_PCINT);
value = lapic_read32(LAPIC_EXT_LVT0);