XIPIQ_OFFSET
setidt_global(XIPIQ_OFFSET, Xipiq,
single_apic_ipi(dcpu, XIPIQ_OFFSET, APIC_DELMODE_FIXED);
r = single_apic_ipi_passive(dcpu, XIPIQ_OFFSET,