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