Home
last modified time | relevance | path

Searched refs:vptb (Results 1 – 6 of 6) sorted by relevance

/linux/arch/alpha/boot/
A Dbootp.c27 unsigned long *vptb);
41 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument
46 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()
A Dmain.c24 unsigned long *vptb);
35 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument
40 result = vptb[address >> 13]; in find_pa()
A Dbootpz.c46 unsigned long *vptb);
302 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()
304 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
/linux/arch/alpha/mm/
A Dinit.c115 if (hwrpb->vptb != 0xfffffffe00000000UL) { in switch_to_system_map()
117 hwrpb->vptb = 0xfffffffe00000000UL; in switch_to_system_map()
267 hwrpb->vptb = 0x200000000UL; in srm_paging_stop()
/linux/arch/alpha/include/asm/
A Dhwrpb.h179 unsigned long vptb; /* Virtual Page Table Base address */ member
/linux/arch/alpha/kernel/
A Dsmp.c317 hwpcb->ksp, hwpcb->ptbr, hwrpb->vptb, hwpcb->unique)); in secondary_cpu_start()

Completed in 10 milliseconds