vptb               28 arch/alpha/boot/bootp.c 	unsigned long *vptb);
vptb               42 arch/alpha/boot/bootp.c find_pa(unsigned long *vptb, void *ptr)
vptb               47 arch/alpha/boot/bootp.c 	result = vptb[address >> 13];
vptb              159 arch/alpha/boot/bootp.c 	if (INIT_HWRPB->vptb != (unsigned long) VPTB) {
vptb              161 arch/alpha/boot/bootp.c 			   VPTB, (void *)INIT_HWRPB->vptb);
vptb               47 arch/alpha/boot/bootpz.c 	unsigned long *vptb);
vptb              303 arch/alpha/boot/bootpz.c 	if (INIT_HWRPB->vptb != (unsigned long) VPTB) {
vptb              305 arch/alpha/boot/bootpz.c 			   VPTB, (void *)INIT_HWRPB->vptb);
vptb               25 arch/alpha/boot/main.c 	unsigned long *vptb);
vptb               36 arch/alpha/boot/main.c find_pa(unsigned long *vptb, void *ptr)
vptb               41 arch/alpha/boot/main.c 	result = vptb[address >> 13];
vptb              179 arch/alpha/include/asm/hwrpb.h 	unsigned long vptb;		/* Virtual Page Table Base address */
vptb              320 arch/alpha/kernel/smp.c 	      hwpcb->ksp, hwpcb->ptbr, hwrpb->vptb, hwpcb->unique));
vptb              116 arch/alpha/mm/init.c 	if (hwrpb->vptb != 0xfffffffe00000000UL) {
vptb              118 arch/alpha/mm/init.c 		hwrpb->vptb = 0xfffffffe00000000UL;
vptb              271 arch/alpha/mm/init.c 	hwrpb->vptb = 0x200000000UL;