APIC_EXT_ID_SHIFT
dest |= ((high & APIC_EXT_ID_MASK) >> APIC_EXT_ID_SHIFT) << 8;
high |= (intpin->io_cpu >> 8) << APIC_EXT_ID_SHIFT