XCPUSTOP_OFFSET
setidt_global(XCPUSTOP_OFFSET, Xcpustop,
selected_apic_ipi(map, XCPUSTOP_OFFSET, APIC_DELMODE_FIXED);