__flush_tlb_one_user   60 arch/x86/include/asm/paravirt.h static inline void __flush_tlb_one_user(unsigned long addr)
__flush_tlb_one_user  148 arch/x86/include/asm/tlbflush.h #define __flush_tlb_one_user(addr) __native_flush_tlb_one_user(addr)