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