i82489_readreg
u_int32_t i82489_readreg(int reg);
u_int32_t (*lapic_readreg)(int) = i82489_readreg;
return i82489_readreg(LAPIC_ID) >> LAPIC_ID_SHIFT;
while ((i82489_readreg(LAPIC_ICRLO) & LAPIC_DLSTAT_BUSY) != 0) {
i82489_readreg(LAPIC_LVINT0));
i82489_readreg(LAPIC_LVINT1));
i82489_readreg(LAPIC_LVTT));
i82489_readreg(LAPIC_PCINT));
i82489_readreg(LAPIC_LVINT0));
i82489_readreg(LAPIC_LVINT1));
i82489_readreg(LAPIC_LVERR));
return i82489_readreg(LAPIC_CCR_TIMER);
while ((i82489_readreg(LAPIC_ICRLO) & LAPIC_DLSTAT_BUSY) != 0) {
#define lapic_cpu_number() (i82489_readreg(LAPIC_ID)>>LAPIC_ID_SHIFT)
static __inline__ u_int32_t i82489_readreg(int);