81                      int level, int ptidxbits, int ptesize, int va_bits,  in walk_pte()  argument
98     ptshift = level * ptidxbits;  in walk_pte()
101     for (idx = 0; idx < (1UL << ptidxbits); idx++) {  in walk_pte()
135                 walk_pte(mon, paddr, start, level - 1, ptidxbits, ptesize,  in walk_pte()
148     int levels, ptidxbits, ptesize, vm, va_bits;  in mem_info_svxx()  local
167         ptidxbits = 10;  in mem_info_svxx()
172         ptidxbits = 9;  in mem_info_svxx()
177         ptidxbits = 9;  in mem_info_svxx()
182         ptidxbits = 9;  in mem_info_svxx()
190     va_bits = PGSHIFT + levels * ptidxbits;  in mem_info_svxx()
202     walk_pte(mon, base, 0, levels - 1, ptidxbits, ptesize, va_bits,  in mem_info_svxx()