tag	line	file	source code
BAD_PAGETABLE	445	mm/memory.c	*page_table = BAD_PAGETABLE | PAGE_TABLE;
BAD_PAGETABLE	514	mm/memory.c	*(unsigned long *) pde = BAD_PAGETABLE | PAGE_TABLE;
BAD_PAGETABLE	717	mm/memory.c	*p = BAD_PAGETABLE | PAGE_TABLE;