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	238	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	set_pte(pte, mk_pte(page, PAGE_KERNEL));
PAGE_KERNEL	182	mm/vmalloc.c	set_pte(pte, mk_pte(offset, PAGE_KERNEL));