IPI_SWI
setidt(IPI_SWI, pti ? IDTVEC(ipi_swi_pti) : IDTVEC(ipi_swi),
setidt(IPI_SWI, IDTVEC(ipi_swi),
ipi_self_from_nmi(IPI_SWI);
[IPI_TO_IDX(IPI_SWI)] = { xen_ipi_swi_handler, "sw" },