tag	line	file	source code
new_vptb	132	arch/alpha/boot/main.c	new_vptb,
new_vptb	140	arch/alpha/boot/main.c	hwrpb.vptb = new_vptb;