IPI_BITMAP_VECTOR
setidt(IPI_BITMAP_VECTOR, pti ? IDTVEC(ipi_intr_bitmap_handler_pti) :
lapic_ipi_vectored(IPI_BITMAP_VECTOR, APIC_IPI_DEST_ALL);
setidt(IPI_BITMAP_VECTOR, IDTVEC(ipi_intr_bitmap_handler),
ipi = IPI_BITMAP_VECTOR;
ipi = IPI_BITMAP_VECTOR;
[IPI_TO_IDX(IPI_BITMAP_VECTOR)] = { xen_ipi_bitmap_handler, "b" },