taglinefilesource code
oldptbr173arch/alpha/boot/main.cunsigned long oldptbr, *oldL1;
oldptbr176arch/alpha/boot/main.coldptbr = pcb_va->ptbr;
oldptbr177arch/alpha/boot/main.coldL1 = (unsigned long *) (PAGE_OFFSET + (oldptbr << PAGE_SHIFT));