arm32_kvminit.c | 525 pv_addr_t * const kernel_l2pt = bmi->bmi_l2pts; local in function:arm32_kernel_vm_init 526 pv_addr_t * const vmdata_l2pt = kernel_l2pt + KERNEL_L2PT_KERNEL_NUM; 584 valloc_pages(bmi, &kernel_l2pt[idx], 1, 586 add_pages(bmi, &kernel_l2pt[idx]); 726 pmap_link_l2pt(l1pt_va, va, &kernel_l2pt[idx]); 729 __func__, kernel_l2pt[idx].pv_va, kernel_l2pt[idx].pv_pa,
|