Lines Matching defs:kernel_pt_table
222 static struct pv_addr kernel_pt_table[KERNEL_PT_MAX];
1632 valloc_pages(kernel_pt_table[i],
1636 kernel_pt_table[i].pv_va = kernel_pt_table[j].pv_va +
1638 kernel_pt_table[i].pv_pa =
1639 kernel_pt_table[i].pv_va - KERNVIRTADDR +
1680 &kernel_pt_table[i]);
1693 pmap_map_chunk(l1pagetable, kernel_pt_table[0].pv_va,
1694 kernel_pt_table[0].pv_pa,
1705 &kernel_pt_table[l2size - 1]);