APIC_ID_SHIFT
dest = high >> APIC_ID_SHIFT;
dest = high >> APIC_ID_SHIFT;
apic_id = ioapic_read(apic, IOAPIC_ID) >> APIC_ID_SHIFT;
high = intpin->io_cpu << APIC_ID_SHIFT;
high = intpin->io_cpu << APIC_ID_SHIFT & APIC_ID_MASK;
high = 0 << APIC_ID_SHIFT;
io->io_hw_apic_id = ioapic_read(apic, IOAPIC_ID) >> APIC_ID_SHIFT;
v >>= APIC_ID_SHIFT;
(dest & ~(APIC_ID_MASK >> APIC_ID_SHIFT)) == 0,
icrhi = dest << APIC_ID_SHIFT;
(dest & ~(APIC_ID_MASK >> APIC_ID_SHIFT)) == 0,