tag	line	file	source code
vptb	23	arch/alpha/boot/main.c	unsigned long vptb, unsigned long *kstk);
vptb	68	arch/alpha/boot/main.c	struct pcb_struct * find_pa(unsigned long *vptb, struct pcb_struct * pcb)
vptb	73	arch/alpha/boot/main.c	result = vptb[address >> 13];
vptb	141	arch/alpha/boot/main.c	hwrpb.vptb = new_vptb;
vptb	136	include/asm-alpha/hwrpb.h	unsigned long vptb;    /* Virtual Page Table Base address */