XSNIFF_OFFSET
setidt_global(XSNIFF_OFFSET, Xsniff,
all_but_self_ipi(XSNIFF_OFFSET);
single_apic_ipi(dcpu, XSNIFF_OFFSET, APIC_DELMODE_FIXED);