tag	line	file	source code
__flush_tlb_one	67	include/asm-i386/pgtable.h	__flush_tlb_one(addr);
__flush_tlb_one	128	include/asm-i386/pgtable.h	__flush_tlb_one(va);