tag	line	file	source code
__bad_pagetable	51	include/linux/mm.h	extern unsigned long __bad_pagetable(void);
__bad_pagetable	54	include/linux/mm.h	#define BAD_PAGETABLE __bad_pagetable()