Searched refs:vptb (Results 1 – 5 of 5) sorted by relevance
27 unsigned long *vptb);41 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument46 result = vptb[address >> 13]; in find_pa()158 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()160 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
24 unsigned long *vptb);35 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument40 result = vptb[address >> 13]; in find_pa()
46 unsigned long *vptb);302 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()304 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
179 unsigned long vptb; /* Virtual Page Table Base address */ member
318 hwpcb->ksp, hwpcb->ptbr, hwrpb->vptb, hwpcb->unique)); in secondary_cpu_start()