Lines Matching refs:current_level
101 u32 current_level = gstage_pgd_levels - 1; in gstage_get_leaf_entry() local
103 *ptep_level = current_level; in gstage_get_leaf_entry()
105 ptep = &ptep[gstage_pte_index(addr, current_level)]; in gstage_get_leaf_entry()
108 *ptep_level = current_level; in gstage_get_leaf_entry()
113 if (current_level) { in gstage_get_leaf_entry()
114 current_level--; in gstage_get_leaf_entry()
115 *ptep_level = current_level; in gstage_get_leaf_entry()
117 ptep = &ptep[gstage_pte_index(addr, current_level)]; in gstage_get_leaf_entry()
141 u32 current_level = gstage_pgd_levels - 1; in gstage_set_pte() local
143 pte_t *ptep = &next_ptep[gstage_pte_index(addr, current_level)]; in gstage_set_pte()
145 if (current_level < level) in gstage_set_pte()
148 while (current_level != level) { in gstage_set_pte()
166 current_level--; in gstage_set_pte()
167 ptep = &next_ptep[gstage_pte_index(addr, current_level)]; in gstage_set_pte()
172 gstage_remote_tlb_flush(kvm, current_level, addr); in gstage_set_pte()