tag	line	file	source code
PAGE_KERNEL	138	arch/alpha/mm/init.c	pgd_val(swapper_pg_dir[1023]) = (newptbr << 32) | pgprot_val(PAGE_KERNEL);
PAGE_KERNEL	184	arch/sparc/mm/init.c	*pg_table = mk_pte((address >> PAGE_SHIFT), PAGE_KERNEL);
PAGE_KERNEL	220	include/asm-alpha/pgtable.h	pgd_val(pgdir[PTRS_PER_PGD]) = pte_val(mk_pte((unsigned long) pgdir, PAGE_KERNEL));
PAGE_KERNEL	123	mm/vmalloc.c	*pte = mk_pte(page, PAGE_KERNEL);