73 #define	IPI_TO_IDX(ipi) ((ipi) - APIC_IPI_INTS)  argument
182 		panic("IPI out of range");  in xen_pv_lapic_ipi_vectored()
212 /*---------------------------- XEN PV IPI Handlers ---------------------------*/
303 /*----------------------------- XEN PV IPI setup -----------------------------*/
313 	const struct xen_ipi_handler *ipi;  in xen_cpu_ipi_init()  local
318 	for (ipi = xen_ipis, idx = 0; idx < nitems(xen_ipis); ipi++, idx++) {  in xen_cpu_ipi_init()
319 		if (ipi->filter == NULL) {  in xen_cpu_ipi_init()
324 		rc = xen_intr_alloc_and_bind_ipi(cpu, ipi->filter,  in xen_cpu_ipi_init()
327 			panic("Unable to allocate a XEN IPI port");  in xen_cpu_ipi_init()
328 		xen_intr_describe(ipi_handle[idx], "%s", ipi->description);  in xen_cpu_ipi_init()
355 	/* Set the xen pv ipi ops to replace the native ones */  in xen_setup_cpus()