smp_tlb_flush_region
static inline void smp_tlb_flush_region (int va, int ctx, u_int cpuset);
#define tlb_flush_region(va,ctx,s) smp_tlb_flush_region(va,ctx,s)