taglinefilesource code
newptbr174arch/alpha/boot/main.cunsigned long newptbr, *newL1;
newptbr179arch/alpha/boot/main.cnewptbr = (SWAPPER_PGD - PAGE_OFFSET) >> PAGE_SHIFT;
newptbr183arch/alpha/boot/main.cnewL1[1023] = (newptbr << 32) | pgprot_val(PAGE_KERNEL);
newptbr187arch/alpha/boot/main.cinit_pcb->ptbr = newptbr;