lapic_read_icr_lo
if ((lapic_read_icr_lo() & APIC_DELSTAT_MASK) ==
while (lapic_read_icr_lo() & APIC_DELSTAT_PEND)
(void)lapic_read_icr_lo();