Searched refs:kernel_pt_table (Results 1 – 1 of 1) sorted by relevance
178 pv_addr_t kernel_pt_table[NUM_KERNEL_PTS]; variable527 valloc_pages(kernel_pt_table[loop1], in initarm()599 &kernel_pt_table[KERNEL_PT_SYS]); in initarm()603 &kernel_pt_table[KERNEL_PT_KERNEL + loop]); in initarm()607 &kernel_pt_table[KERNEL_PT_VMDATA + loop]); in initarm()661 pmap_map_chunk(l1pagetable, kernel_pt_table[loop].pv_va, in initarm()662 kernel_pt_table[loop].pv_pa, L2_TABLE_SIZE, in initarm()