141         uint64_t l0, uint64_t pml4_addr)  in tlb_info_la48()  argument
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()
203     uint64_t l0;  in tlb_info_la57()  local
208     for (l0 = 0; l0 < 512; l0++) {  in tlb_info_la57()
209         cpu_physical_memory_read(pml5_addr + l0 * 8, &pml5e, 8);  in tlb_info_la57()
212             tlb_info_la48(mon, env, l0, pml5e & 0x3fffffffff000ULL);  in tlb_info_la57()
456     uint64_t l0, l1, l2, l3, l4;  in mem_info_la57()  local
463     for (l0 = 0; l0 < 512; l0++) {  in mem_info_la57()
464         cpu_physical_memory_read(pml5_addr + l0 * 8, &pml5e, 8);  in mem_info_la57()
466         end = l0 << 48;  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()