tag	line	file	source code
__invalidate_one	60	include/asm-i386/pgtable.h	__invalidate_one(addr);
__invalidate_one	121	include/asm-i386/pgtable.h	__invalidate_one(va);