lapic_ipi_alloc
pirvec = lapic_ipi_alloc(pti ? &IDTVEC(justreturn1_pti) :
vmm_ipinum = lapic_ipi_alloc(pti ? &IDTVEC(justreturn1_pti) :
sc->vmbus_idtvec = lapic_ipi_alloc(
int lapic_ipi_alloc(inthand_t *ipifunc,