tag	line	file	source code
BAD_PAGETABLE	385	mm/memory.c	tmp = BAD_PAGETABLE;
BAD_PAGETABLE	496	mm/memory.c	*(unsigned long *) pde = BAD_PAGETABLE | 7;
BAD_PAGETABLE	502	mm/memory.c	*(unsigned long *) pde = BAD_PAGETABLE | 7;
BAD_PAGETABLE	659	mm/memory.c	*p = BAD_PAGETABLE | 7;