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