AV_HIGH_ORDER
AV_HIGH_ORDER >> cpun);
apic_reg_ops->apic_write(APIC_DEST_REG, AV_HIGH_ORDER >> cpun);