| arm32_kvminit.c | 700 paddr_t l1pt_pa = kernel_l1pt.pv_pa; local in function:arm32_kernel_vm_init 1053 VPRINTF("switching to new L1 page table @%#lx...\n", l1pt_pa); 1055 cpu_ttb = l1pt_pa; 1081 cpu_setttb(l1pt_pa, KERNEL_PID); 1084 cpu_setttb(l1pt_pa, true);
|