VPTB
if (INIT_HWRPB->vptb != (unsigned long) VPTB) {
VPTB, (void *)INIT_HWRPB->vptb);
pcb_pa = find_pa(VPTB, pcb_va);
i = switch_to_osf_pal(2, pcb_va, pcb_pa, VPTB);
i = switch_to_osf_pal(2, pcb_va, pcb_pa, VPTB);
if (INIT_HWRPB->vptb != (unsigned long) VPTB) {
VPTB, (void *)INIT_HWRPB->vptb);
result = VPTB[address >> 13];
pcb_pa = find_pa(VPTB, pcb_va);
i = switch_to_osf_pal(2, pcb_va, pcb_pa, VPTB);