Searched refs:pmap_page_shift (Results 1 – 3 of 3) sorted by relevance
321 generate_rtlbi_param(ppnum_t npages, uint32_t asid, vm_offset_t va, uint64_t pmap_page_shift) in generate_rtlbi_param() argument331 …eturn tlbi_asid(asid) | RTLBI_TG(pmap_page_shift) | rtlbi_scale(scale) | rtlbi_num(num) | rtlbi_ad… in generate_rtlbi_param()
1018 const uint64_t pmap_page_shift = pt_attr_leaf_shift(pmap_get_pt_attr(ptd->pmap)); in ptd_get_index()1019 const vm_offset_t ttep_page = (vm_offset_t)ttep >> pmap_page_shift; in ptd_get_index()1028 const unsigned int ttep_index = ttep_page & ((1U << (PAGE_SHIFT - pmap_page_shift)) - 1); in ptd_get_index()
10284 unsigned long pmap_page_shift = pt_attr_leaf_shift(pmap_get_pt_attr(pmap));10285 const uint64_t pmap_page_size = 1ULL << pmap_page_shift;10286 ppnum_t npages = (ppnum_t)(length >> pmap_page_shift);10306 va = generate_rtlbi_param(npages, asid, va, pmap_page_shift);