tag	line	file	source code
kadb_begin	804	arch/sparc/mm/sun4c.c	unsigned long prom_begin, prom_end, kadb_begin;
kadb_begin	905	arch/sparc/mm/sun4c.c	kadb_begin = KADB_DEBUGGER_BEGVM;
kadb_begin	907	arch/sparc/mm/sun4c.c	for(; kadb_begin < prom_end; kadb_begin += PAGE_SIZE) {
kadb_begin	908	arch/sparc/mm/sun4c.c	unsigned long pte = get_pte(kadb_begin);
kadb_begin	910	arch/sparc/mm/sun4c.c	put_pte(kadb_begin, (pte | _SUN4C_PAGE_PRIV));