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