tag	line	file	source code
newL1	174	arch/alpha/boot/main.c	unsigned long newptbr, *newL1;
newL1	180	arch/alpha/boot/main.c	newL1 = (unsigned long *) SWAPPER_PGD;
newL1	182	arch/alpha/boot/main.c	memcpy(newL1, oldL1, PAGE_SIZE);
newL1	183	arch/alpha/boot/main.c	newL1[1023] = (newptbr << 32) | pgprot_val(PAGE_KERNEL);