APIC_DEST_ALLBUT
__default_send_IPI_shortcut(APIC_DEST_ALLBUT, vector);
__x2apic_send_IPI_mask(mask, vector, APIC_DEST_ALLBUT);
if (apic_dest == APIC_DEST_ALLBUT && this_cpu == query_cpu)
__x2apic_send_IPI_mask(mask, vector, APIC_DEST_ALLBUT);
__x2apic_send_IPI_shorthand(vector, APIC_DEST_ALLBUT);
dsh = icr_low & APIC_DEST_ALLBUT;
case APIC_DEST_ALLBUT:
send_ipi(0, vector, APIC_DEST_ALLBUT);
case APIC_DEST_ALLBUT:
icr = APIC_DEST_ALLBUT | APIC_INT_ASSERT;