lapic_read32
maxlvt = lapic_maxlvt(lapic_read32(LAPIC_VERSION));
maxlvt = lapic_maxlvt(lapic_read32(LAPIC_VERSION));
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);
esr = lapic_read32(LAPIC_ESR);
v = lapic_read32(LAPIC_VERSION);
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_ICR_LO));
ver = lapic_read32(LAPIC_VERSION);
version = lapic_read32(LAPIC_VERSION);
return (lapic_read32(LAPIC_EXT_FEATURES));
version = lapic_read32(LAPIC_VERSION);
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));
lapic_read32(LAPIC_LVT_TIMER), lapic_read32(LAPIC_LVT_THERMAL),
lapic_read32(LAPIC_LVT_ERROR));
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);
version = lapic_read32(LAPIC_VERSION);
version = lapic_read32(LAPIC_VERSION);
lapic_read32(LAPIC_LVT_LINT0)));
lapic_read32(LAPIC_LVT_LINT1)));
lapic_read32(LAPIC_LVT_TIMER));
lapic_read32(LAPIC_LVT_ERROR)));
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);
lapic_read32(LAPIC_LVT_PCINT)));
lapic_read32(LAPIC_EXT_LVT0)));