Searched refs:xen_ipi_swi_handler (Results 1 – 1 of 1) sorted by relevance
70 static driver_filter_t xen_ipi_swi_handler; variable96 [IPI_TO_IDX(IPI_SWI)] = { xen_ipi_swi_handler, "sw" },296 xen_ipi_swi_handler(void *arg) in xen_ipi_swi_handler() function