Searched refs:xen_invltlb (Results 1 – 1 of 1) sorted by relevance
62 static driver_filter_t xen_invltlb; variable88 [IPI_TO_IDX(IPI_INVLTLB)] = { xen_invltlb, "itlb"},247 xen_invltlb(void *arg) in xen_invltlb() function