Searched refs:xcpumask (Results 1 – 2 of 2) sorted by relevance
255 smp_flush_tlb_cpumask(cpumask_t xcpumask) in smp_flush_tlb_cpumask() argument258 cpumask_t cpumask = xcpumask; in smp_flush_tlb_cpumask()
57 extern void smp_flush_tlb_cpumask (cpumask_t xcpumask);