Searched refs:xen_invlrng (Results 1 – 1 of 1) sorted by relevance
72 static driver_filter_t xen_invlrng; variable100 [IPI_TO_IDX(IPI_INVLRNG)] = { xen_invlrng, "irg" },494 xen_invlrng(void *arg) in xen_invlrng() function