Lines Matching defs:kernel_pt_table
223 pv_addr_t kernel_pt_table[NUM_KERNEL_PTS];
625 * addition, kernel_l1pt, kernel_pt_table[], systempage, irqstack,
882 * addresses in the kernel_pt_table array.
924 valloc_pages(kernel_pt_table[pt_index],
938 printf("%s: kernel_pt_table:\n", __func__);
940 printf("\t%#lx:%#lx\n", kernel_pt_table[pt_index].pv_va,
941 kernel_pt_table[pt_index].pv_pa);
994 &kernel_pt_table[KERNEL_PT_SYS]);
997 &kernel_pt_table[KERNEL_PT_KERNEL + loop]);
1000 &kernel_pt_table[KERNEL_PT_VMDATA + loop]);
1062 pmap_map_chunk(l1_va, kernel_pt_table[loop].pv_va,
1063 kernel_pt_table[loop].pv_pa, L2_TABLE_SIZE,
Indexes created Sat Sep 27 22:09:54 GMT 2025