Searched refs:xen_gflush_tlb (Results 1 – 3 of 3) sorted by relevance
303 extern void xen_gflush_tlb(cpuset_t);
187 xen_gflush_tlb(cpuset_t cpus) in xen_gflush_tlb() function
2145 xen_gflush_tlb(cpus_to_shootdown); in hat_tlb_inval_range()