74     unsigned int l1, l2;  in tlb_info_32()  local
86                 for(l2 = 0; l2 < 1024; l2++) {  in tlb_info_32()
87                     cpu_physical_memory_read((pde & ~0xfff) + l2 * 4, &pte, 4);  in tlb_info_32()
90                         print_pte(mon, env, (l1 << 22) + (l2 << 12),  in tlb_info_32()
102     unsigned int l1, l2, l3;  in tlb_info_pae32()  local
112             for (l2 = 0; l2 < 512; l2++) {  in tlb_info_pae32()
113                 cpu_physical_memory_read(pd_addr + l2 * 8, &pde, 8);  in tlb_info_pae32()
118                         print_pte(mon, env, (l1 << 30) + (l2 << 21), pde,  in tlb_info_pae32()
126                                 print_pte(mon, env, (l1 << 30) + (l2 << 21)  in tlb_info_pae32()
143     uint64_t l1, l2, l3, l4;  in tlb_info_la48()  local
155         for (l2 = 0; l2 < 512; l2++) {  in tlb_info_la48()
156             cpu_physical_memory_read(pdp_addr + l2 * 8, &pdpe, 8);  in tlb_info_la48()
164                 print_pte(mon, env, (l0 << 48) + (l1 << 39) + (l2 << 30),  in tlb_info_la48()
179                     print_pte(mon, env, (l0 << 48) + (l1 << 39) + (l2 << 30) +  in tlb_info_la48()
192                                 (l2 << 30) + (l3 << 21) + (l4 << 12),  in tlb_info_la48()
277     unsigned int l1, l2;  in mem_info_32()  local
294                 for(l2 = 0; l2 < 1024; l2++) {  in mem_info_32()
295                     cpu_physical_memory_read((pde & ~0xfff) + l2 * 4, &pte, 4);  in mem_info_32()
297                     end = (l1 << 22) + (l2 << 12);  in mem_info_32()
318     unsigned int l1, l2, l3;  in mem_info_pae32()  local
333             for (l2 = 0; l2 < 512; l2++) {  in mem_info_pae32()
334                 cpu_physical_memory_read(pd_addr + l2 * 8, &pde, 8);  in mem_info_pae32()
336                 end = (l1 << 30) + (l2 << 21);  in mem_info_pae32()
347                             end = (l1 << 30) + (l2 << 21) + (l3 << 12);  in mem_info_pae32()
376     uint64_t l1, l2, l3, l4;  in mem_info_la48()  local
389             for (l2 = 0; l2 < 512; l2++) {  in mem_info_la48()
390                 cpu_physical_memory_read(pdp_addr + l2 * 8, &pdpe, 8);  in mem_info_la48()
392                 end = (l1 << 39) + (l2 << 30);  in mem_info_la48()
404                             end = (l1 << 39) + (l2 << 30) + (l3 << 21);  in mem_info_la48()
419                                         end = (l1 << 39) + (l2 << 30) +  in mem_info_la48()
456     uint64_t l0, l1, l2, l3, l4;  in mem_info_la57()  local
485             for (l2 = 0; l2 < 512; l2++) {  in mem_info_la57()
486                 cpu_physical_memory_read(pdp_addr + l2 * 8, &pdpe, 8);  in mem_info_la57()
488                 end = (l0 << 48) + (l1 << 39) + (l2 << 30);  in mem_info_la57()
507                     end = (l0 << 48) + (l1 << 39) + (l2 << 30) + (l3 << 21);  in mem_info_la57()
526                         end = (l0 << 48) + (l1 << 39) + (l2 << 30) +  in mem_info_la57()