Searched refs:xen_gflush_va (Results 1 – 3 of 3) sorted by relevance
301 extern void xen_gflush_va(caddr_t va, cpuset_t);
151 xen_gflush_va(caddr_t va, cpuset_t cpus) in xen_gflush_va() function
2148 xen_gflush_va((caddr_t)(va + i), in hat_tlb_inval_range()