LAPIC_ID_SHIFT
(cpunum << LAPIC_ID_SHIFT));
return i82489_readreg(LAPIC_ID) >> LAPIC_ID_SHIFT;
i82489_writereg(LAPIC_ICRHI, target << LAPIC_ID_SHIFT);
i82489_writereg(LAPIC_ICRHI, target << LAPIC_ID_SHIFT);
i82489_writereg(LAPIC_ICRHI, target << LAPIC_ID_SHIFT);