47 #include <xen/xen-os.h>
54 #include <contrib/xen/arch-x86/cpuid.h>
57 /*--------------------------- Forward Declarations ---------------------------*/
72 /*---------------------------------- Macros ----------------------------------*/
73 #define	IPI_TO_IDX(ipi) ((ipi) - APIC_IPI_INTS)  argument
75 /*--------------------------------- Xen IPIs ---------------------------------*/
103  * https://lists.freebsd.org/archives/freebsd-xen/2022-January/000032.html
107 /*------------------------------- Per-CPU Data -------------------------------*/
110 /*------------------------------- Xen PV APIC --------------------------------*/
112 #define PCPU_ID_GET(id, field) (pcpu_find(id)->pc_##field)  argument
182 		panic("IPI out of range");  in xen_pv_lapic_ipi_vectored()
212 /*---------------------------- XEN PV IPI Handlers ---------------------------*/
220 	ipi_bitmap_handler(*curthread->td_intr_frame);  in xen_ipi_bitmap_handler()
299 	ipi_swi_handler(*curthread->td_intr_frame);  in xen_ipi_swi_handler()
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()