Searched refs:xen_invlcache (Results 1 – 1 of 1) sorted by relevance
65 static driver_filter_t xen_invlcache; variable91 [IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },271 xen_invlcache(void *arg) in xen_invlcache() function