HomeSort by: relevance | last modified time | path
    Searched defs:kernel_l2pt (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/arm/arm32/
arm32_kvminit.c 522 pv_addr_t * const kernel_l2pt = bmi->bmi_l2pts; local
523 pv_addr_t * const vmdata_l2pt = kernel_l2pt + KERNEL_L2PT_KERNEL_NUM;
581 valloc_pages(bmi, &kernel_l2pt[idx], 1,
583 add_pages(bmi, &kernel_l2pt[idx]);
723 pmap_link_l2pt(l1pt_va, va, &kernel_l2pt[idx]);
726 __func__, kernel_l2pt[idx].pv_va, kernel_l2pt[idx].pv_pa,
arm32_kvminit.c 522 pv_addr_t * const kernel_l2pt = bmi->bmi_l2pts; local
523 pv_addr_t * const vmdata_l2pt = kernel_l2pt + KERNEL_L2PT_KERNEL_NUM;
581 valloc_pages(bmi, &kernel_l2pt[idx], 1,
583 add_pages(bmi, &kernel_l2pt[idx]);
723 pmap_link_l2pt(l1pt_va, va, &kernel_l2pt[idx]);
726 __func__, kernel_l2pt[idx].pv_va, kernel_l2pt[idx].pv_pa,

Completed in 35 milliseconds