Searched refs:kernel_l2pt (Results 1 – 1 of 1) sorted by relevance
525 pv_addr_t * const kernel_l2pt = bmi->bmi_l2pts; in arm32_kernel_vm_init() local526 pv_addr_t * const vmdata_l2pt = kernel_l2pt + KERNEL_L2PT_KERNEL_NUM; in arm32_kernel_vm_init()584 valloc_pages(bmi, &kernel_l2pt[idx], 1, in arm32_kernel_vm_init()586 add_pages(bmi, &kernel_l2pt[idx]); in arm32_kernel_vm_init()726 pmap_link_l2pt(l1pt_va, va, &kernel_l2pt[idx]); in arm32_kernel_vm_init()729 __func__, kernel_l2pt[idx].pv_va, kernel_l2pt[idx].pv_pa, in arm32_kernel_vm_init()