Searched refs:vmdata_l2pt (Results 1 – 1 of 1) sorted by relevance
526 pv_addr_t * const vmdata_l2pt = kernel_l2pt + KERNEL_L2PT_KERNEL_NUM; in arm32_kernel_vm_init() local594 valloc_pages(bmi, &vmdata_l2pt[idx], 1, in arm32_kernel_vm_init()596 add_pages(bmi, &vmdata_l2pt[idx]); in arm32_kernel_vm_init()739 pmap_link_l2pt(l1pt_va, va, &vmdata_l2pt[idx]); in arm32_kernel_vm_init()742 __func__, vmdata_l2pt[idx].pv_va, vmdata_l2pt[idx].pv_pa, in arm32_kernel_vm_init()