taglinefilesource code
L1102arch/alpha/boot/main.cunsigned long *L1, *l;
L1107arch/alpha/boot/main.cL1 = (unsigned long *) 0x200802000UL; /* (1<<33 | 1<<23 | 1<<13) */
L1108arch/alpha/boot/main.cL1[1023] = L1[1];
L1114arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
L1150arch/alpha/boot/main.cL1[1] = 0;