Lines Matching refs:kernel_l1pt
461 && kernel_l1pt.pv_pa == 0) {
462 valloc_pages(kernel_l1pt, L1_TABLE_SIZE / PAGE_SIZE);
471 if (!kernel_l1pt.pv_pa || (kernel_l1pt.pv_pa & (L1_TABLE_SIZE-1)) != 0)
511 kernel_l1pt.pv_pa, kernel_l1pt.pv_va);
519 l1pagetable = kernel_l1pt.pv_pa;
580 pmap_map_chunk(l1pagetable, kernel_l1pt.pv_va, kernel_l1pt.pv_pa,
631 printf("switching to new L1 page table @%#lx...", kernel_l1pt.pv_pa);
635 cpu_setttb(kernel_l1pt.pv_pa, true);
Indexes created Thu Oct 23 22:10:10 GMT 2025