taglinefilesource code
newptbr100arch/alpha/mm/init.cunsigned long newptbr;
newptbr129arch/alpha/mm/init.cnewptbr = ((unsigned long) swapper_pg_dir - PAGE_OFFSET) >> PAGE_SHIFT;
newptbr130arch/alpha/mm/init.cpgd_val(swapper_pg_dir[1023]) = (newptbr << 32) | pgprot_val(PAGE_KERNEL);
newptbr131arch/alpha/mm/init.cinit_task.tss.ptbr = newptbr;