taglinefilesource code
L179arch/alpha/boot/main.cunsigned long *L1, *l;
L184arch/alpha/boot/main.cL1 = (unsigned long *) 0x200802000UL; /* (1<<33 | 1<<23 | 1<<13) */
L185arch/alpha/boot/main.cL1[1023] = L1[1];
L191arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
L1127arch/alpha/boot/main.cL1[1] = 0;