tag	line	file	source code
L1	79	arch/alpha/boot/main.c	unsigned long *L1, *l;
L1	84	arch/alpha/boot/main.c	L1 = (unsigned long *) 0x200802000UL; /* (1<<33 | 1<<23 | 1<<13) */
L1	85	arch/alpha/boot/main.c	L1[1023] = L1[1];
L1	91	arch/alpha/boot/main.c	pcb_va->ptbr = L1[1] >> 32;
L1	127	arch/alpha/boot/main.c	L1[1] = 0;