Lines Matching refs:kernel_l1pt
625 * addition, kernel_l1pt, kernel_pt_table[], systempage, irqstack,
913 kernel_l1pt.pv_pa = 0;
914 kernel_l1pt.pv_va = 0;
921 && kernel_l1pt.pv_pa == 0) {
922 valloc_pages(kernel_l1pt, L1_TABLE_SIZE / PAGE_SIZE);
936 printf("%s: kernel_l1pt: %#lx:%#lx\n",
937 __func__, kernel_l1pt.pv_va, kernel_l1pt.pv_pa);
951 if (!kernel_l1pt.pv_pa || (kernel_l1pt.pv_pa & (L1_TABLE_SIZE-1)) != 0)
981 printf("Creating L1 page table at 0x%08lx\n", kernel_l1pt.pv_pa);
989 vaddr_t l1_va = kernel_l1pt.pv_va;
990 paddr_t l1_pa = kernel_l1pt.pv_pa;
1058 pmap_map_chunk(l1_va, kernel_l1pt.pv_va, kernel_l1pt.pv_pa,
1138 kernel_l1pt.pv_pa, kernel_l1pt.pv_pa + L1_TABLE_SIZE - 1,
1139 kernel_l1pt.pv_va, kernel_l1pt.pv_va + L1_TABLE_SIZE - 1,
Indexes created Mon Oct 27 17:09:47 GMT 2025