73     unsigned int l1, l2;  in tlb_info_32()  local
85                 for(l2 = 0; l2 < 1024; l2++) {  in tlb_info_32()
86                     cpu_physical_memory_read((pde & ~0xfff) + l2 * 4, &pte, 4);  in tlb_info_32()
89                         print_pte(mon, env, (l1 << 22) + (l2 << 12),  in tlb_info_32()
101     unsigned int l1, l2, l3;  in tlb_info_pae32()  local
111             for (l2 = 0; l2 < 512; l2++) {  in tlb_info_pae32()
112                 cpu_physical_memory_read(pd_addr + l2 * 8, &pde, 8);  in tlb_info_pae32()
117                         print_pte(mon, env, (l1 << 30) + (l2 << 21), pde,  in tlb_info_pae32()
125                                 print_pte(mon, env, (l1 << 30) + (l2 << 21)  in tlb_info_pae32()
142     uint64_t l1, l2, l3, l4;  in tlb_info_la48()  local
154         for (l2 = 0; l2 < 512; l2++) {  in tlb_info_la48()
155             cpu_physical_memory_read(pdp_addr + l2 * 8, &pdpe, 8);  in tlb_info_la48()
163                 print_pte(mon, env, (l0 << 48) + (l1 << 39) + (l2 << 30),  in tlb_info_la48()
178                     print_pte(mon, env, (l0 << 48) + (l1 << 39) + (l2 << 30) +  in tlb_info_la48()
191                                 (l2 << 30) + (l3 << 21) + (l4 << 12),  in tlb_info_la48()
276     unsigned int l1, l2;  in mem_info_32()  local
293                 for(l2 = 0; l2 < 1024; l2++) {  in mem_info_32()
294                     cpu_physical_memory_read((pde & ~0xfff) + l2 * 4, &pte, 4);  in mem_info_32()
296                     end = (l1 << 22) + (l2 << 12);  in mem_info_32()
317     unsigned int l1, l2, l3;  in mem_info_pae32()  local
332             for (l2 = 0; l2 < 512; l2++) {  in mem_info_pae32()
333                 cpu_physical_memory_read(pd_addr + l2 * 8, &pde, 8);  in mem_info_pae32()
335                 end = (l1 << 30) + (l2 << 21);  in mem_info_pae32()
346                             end = (l1 << 30) + (l2 << 21) + (l3 << 12);  in mem_info_pae32()
375     uint64_t l1, l2, l3, l4;  in mem_info_la48()  local
388             for (l2 = 0; l2 < 512; l2++) {  in mem_info_la48()
389                 cpu_physical_memory_read(pdp_addr + l2 * 8, &pdpe, 8);  in mem_info_la48()
391                 end = (l1 << 39) + (l2 << 30);  in mem_info_la48()
403                             end = (l1 << 39) + (l2 << 30) + (l3 << 21);  in mem_info_la48()
418                                         end = (l1 << 39) + (l2 << 30) +  in mem_info_la48()
455     uint64_t l0, l1, l2, l3, l4;  in mem_info_la57()  local
484             for (l2 = 0; l2 < 512; l2++) {  in mem_info_la57()
485                 cpu_physical_memory_read(pdp_addr + l2 * 8, &pdpe, 8);  in mem_info_la57()
487                 end = (l0 << 48) + (l1 << 39) + (l2 << 30);  in mem_info_la57()
506                     end = (l0 << 48) + (l1 << 39) + (l2 << 30) + (l3 << 21);  in mem_info_la57()
525                         end = (l0 << 48) + (l1 << 39) + (l2 << 30) +  in mem_info_la57()