Searched refs:xen_ipi_bitmap_handler (Results 1 – 1 of 1) sorted by relevance
67 static driver_filter_t xen_ipi_bitmap_handler; variable93 [IPI_TO_IDX(IPI_BITMAP_VECTOR)] = { xen_ipi_bitmap_handler, "b" },217 xen_ipi_bitmap_handler(void *arg) in xen_ipi_bitmap_handler() function