74     unsigned int l1, l2;  in tlb_info_32()  local
78     for(l1 = 0; l1 < 1024; l1++) {  in tlb_info_32()
79         cpu_physical_memory_read(pgd + l1 * 4, &pde, 4);  in tlb_info_32()
84                 print_pte(mon, env, (l1 << 22), pde, ~((1 << 21) - 1));  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
107     for (l1 = 0; l1 < 4; l1++) {  in tlb_info_pae32()
108         cpu_physical_memory_read(pdp_addr + l1 * 8, &pdpe, 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
147     for (l1 = 0; l1 < 512; l1++) {  in tlb_info_la48()
148         cpu_physical_memory_read(pml4_addr + l1 * 8, &pml4e, 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()
191                         print_pte(mon, env, (l0 << 48) + (l1 << 39) +  in tlb_info_la48()
277     unsigned int l1, l2;  in mem_info_32()  local
285     for(l1 = 0; l1 < 1024; l1++) {  in mem_info_32()
286         cpu_physical_memory_read(pgd + l1 * 4, &pde, 4);  in mem_info_32()
288         end = l1 << 22;  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
327     for (l1 = 0; l1 < 4; l1++) {  in mem_info_pae32()
328         cpu_physical_memory_read(pdp_addr + l1 * 8, &pdpe, 8);  in mem_info_pae32()
330         end = l1 << 30;  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
383     for (l1 = 0; l1 < 512; l1++) {  in mem_info_la48()
384         cpu_physical_memory_read(pml4_addr + l1 * 8, &pml4e, 8);  in mem_info_la48()
386         end = l1 << 39;  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
474         for (l1 = 0; l1 < 512; l1++) {  in mem_info_la57()
475             cpu_physical_memory_read(pml4_addr + l1 * 8, &pml4e, 8);  in mem_info_la57()
477             end = (l0 << 48) + (l1 << 39);  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()