Searched refs:ptep_index (Results 1 – 1 of 1) sorted by relevance
1043 vm_offset_t ptep_index = ((vm_offset_t)ptep & pt_attr_leaf_offmask(pt_attr)) / sizeof(*ptep); in ptd_get_va() local1045 va += (ptep_index << pt_attr_leaf_shift(pt_attr)); in ptd_get_va()