__flush_tlb_one_user
static inline void __flush_tlb_one_user(unsigned long addr)
# define __flush_tlb_one_user(addr) native_flush_tlb_one_user(addr)