Searched refs:vptb (Results 1 – 6 of 6) sorted by relevance
28 unsigned long *vptb);42 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument47 result = vptb[address >> 13]; in find_pa()159 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()161 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
26 unsigned long *vptb);37 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument42 result = vptb[address >> 13]; in find_pa()
47 unsigned long *vptb);303 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()305 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
116 if (hwrpb->vptb != 0xfffffffe00000000UL) { in switch_to_system_map()118 hwrpb->vptb = 0xfffffffe00000000UL; in switch_to_system_map()271 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()