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