Searched refs:vptb (Results 1 - 12 of 12) sorted by relevance
| /kernel/linux/linux-5.10/arch/alpha/boot/ |
| H A D | bootp.c | 27 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()
159 srm_printk("Expected vptb at %p, got %p\n", in start_kernel()
160 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
|
| H A D | main.c | 24 unsigned long *vptb);
35 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument
40 result = vptb[address >> 13]; in find_pa()
|
| H A D | bootpz.c | 46 unsigned long *vptb);
302 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()
303 srm_printk("Expected vptb at %p, got %p\n", in start_kernel()
304 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
|
| /kernel/linux/linux-6.6/arch/alpha/boot/ |
| H A D | bootp.c | 27 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()
159 srm_printk("Expected vptb at %p, got %p\n", in start_kernel()
160 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
|
| H A D | main.c | 24 unsigned long *vptb);
35 find_pa(unsigned long *vptb, void *ptr) in find_pa() argument
40 result = vptb[address >> 13]; in find_pa()
|
| H A D | bootpz.c | 46 unsigned long *vptb);
302 if (INIT_HWRPB->vptb != (unsigned long) VPTB) { in start_kernel()
303 srm_printk("Expected vptb at %p, got %p\n", in start_kernel()
304 VPTB, (void *)INIT_HWRPB->vptb); in start_kernel()
|
| /kernel/linux/linux-5.10/arch/alpha/mm/ |
| H A D | init.c | 106 /* Initialize the kernel's page tables. Linux puts the vptb in in switch_to_system_map()
113 /* Set the vptb. This is often done by the bootloader, but in switch_to_system_map()
115 if (hwrpb->vptb != 0xfffffffe00000000UL) { in switch_to_system_map()
117 hwrpb->vptb = 0xfffffffe00000000UL; in switch_to_system_map()
266 /* Move the vptb back to where the SRM console expects it. */ in srm_paging_stop()
270 hwrpb->vptb = 0x200000000UL; in srm_paging_stop()
|
| /kernel/linux/linux-6.6/arch/alpha/mm/ |
| H A D | init.c | 106 /* Initialize the kernel's page tables. Linux puts the vptb in in switch_to_system_map()
113 /* Set the vptb. This is often done by the bootloader, but in switch_to_system_map()
115 if (hwrpb->vptb != 0xfffffffe00000000UL) { in switch_to_system_map()
117 hwrpb->vptb = 0xfffffffe00000000UL; in switch_to_system_map()
263 /* Move the vptb back to where the SRM console expects it. */ in srm_paging_stop()
267 hwrpb->vptb = 0x200000000UL; in srm_paging_stop()
|
| /kernel/linux/linux-5.10/arch/alpha/include/asm/ |
| H A D | hwrpb.h | 179 unsigned long vptb; /* Virtual Page Table Base address */ member
|
| /kernel/linux/linux-6.6/arch/alpha/include/asm/ |
| H A D | hwrpb.h | 179 unsigned long vptb; /* Virtual Page Table Base address */ member
|
| /kernel/linux/linux-5.10/arch/alpha/kernel/ |
| H A D | smp.c | 317 hwpcb->ksp, hwpcb->ptbr, hwrpb->vptb, hwpcb->unique)); in secondary_cpu_start()
|
| /kernel/linux/linux-6.6/arch/alpha/kernel/ |
| H A D | smp.c | 317 hwpcb->ksp, hwpcb->ptbr, hwrpb->vptb, hwpcb->unique)); in secondary_cpu_start()
|
Completed in 8 milliseconds