i82489_readreg
return i82489_readreg(LAPIC_ID) >> LAPIC_ID_SHIFT;
return i82489_readreg(reg);
while ((i82489_readreg(LAPIC_ICRLO) & LAPIC_DLSTAT_BUSY) != 0) {
(void)i82489_readreg(LAPIC_ESR);
if ((i82489_readreg(LAPIC_ICRLO) & LAPIC_DLSTAT_BUSY) != 0)
esr = i82489_readreg(LAPIC_ESR);
(void)i82489_readreg(LAPIC_ESR);
if ((i82489_readreg(LAPIC_ICRLO) & LAPIC_DLSTAT_BUSY) != 0)
esr = i82489_readreg(LAPIC_ESR);
result = (i82489_readreg(LAPIC_ICRLO) & LAPIC_DLSTAT_BUSY) ? EBUSY : 0;