Searched refs:vptb (Results 1 – 6 of 6) 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()
25 unsigned long *vptb);36 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument41 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()
115 if (hwrpb->vptb != 0xfffffffe00000000UL) { in switch_to_system_map()117 hwrpb->vptb = 0xfffffffe00000000UL; in switch_to_system_map()264 hwrpb->vptb = 0x200000000UL; in srm_paging_stop()
178 unsigned long vptb; /* Virtual Page Table Base address */ member
317 hwpcb->ksp, hwpcb->ptbr, hwrpb->vptb, hwpcb->unique)); in secondary_cpu_start()