tag	line	file	source code
oldL1	173	arch/alpha/boot/main.c	unsigned long oldptbr, *oldL1;
oldL1	177	arch/alpha/boot/main.c	oldL1 = (unsigned long *) (PAGE_OFFSET + (oldptbr << PAGE_SHIFT));
oldL1	182	arch/alpha/boot/main.c	memcpy(newL1, oldL1, PAGE_SIZE);