tlb_batch
void flush_tsb_user(struct tlb_batch *tb);
put_cpu_var(tlb_batch);
static DEFINE_PER_CPU(struct tlb_batch, tlb_batch);
struct tlb_batch *tb = &get_cpu_var(tlb_batch);
put_cpu_var(tlb_batch);
struct tlb_batch *tb = this_cpu_ptr(&tlb_batch);
struct tlb_batch *tb = &get_cpu_var(tlb_batch);
static void __flush_huge_tsb_one(struct tlb_batch *tb, unsigned long hash_shift,
void flush_tsb_user(struct tlb_batch *tb)
static void __flush_tsb_one(struct tlb_batch *tb, unsigned long hash_shift,