XINVLTLB_OFFSET
setidt_global(XINVLTLB_OFFSET, Xinvltlb,
all_but_self_ipi(XINVLTLB_OFFSET);
selected_apic_ipi(mask, XINVLTLB_OFFSET, APIC_DELMODE_FIXED);
all_but_self_ipi(XINVLTLB_OFFSET);
selected_apic_ipi(mask, XINVLTLB_OFFSET, APIC_DELMODE_FIXED);