tag	line	file	source code
BAD_PAGETABLE	401	mm/memory.c	tmp = BAD_PAGETABLE;
BAD_PAGETABLE	486	mm/memory.c	*(unsigned long *) pde = BAD_PAGETABLE | 7;
BAD_PAGETABLE	668	mm/memory.c	*p = BAD_PAGETABLE | 7;