taglinefilesource code
vptb22arch/alpha/boot/main.cunsigned long vptb, unsigned long *kstk);
vptb44arch/alpha/boot/main.cstruct pcb_struct * find_pa(unsigned long *vptb, struct pcb_struct * pcb)
vptb49arch/alpha/boot/main.cresult = vptb[address >> 13];
vptb117arch/alpha/boot/main.chwrpb.vptb = new_vptb;
vptb98include/asm-alpha/hwrpb.hunsigned long vptb;    /* Virtual Page Table Base address */