Revision 7fd3f494

b/exec.c
2173 2173
        pd = p->phys_offset;
2174 2174
    }
2175 2175
#if defined(DEBUG_TLB)
2176
    printf("tlb_set_page: vaddr=" TARGET_FMT_lx " paddr=0x%08x prot=%x idx=%d smmu=%d pd=0x%08lx\n",
2177
           vaddr, (int)paddr, prot, mmu_idx, is_softmmu, pd);
2176
    printf("tlb_set_page: vaddr=" TARGET_FMT_lx " paddr=0x" TARGET_FMT_plx
2177
           " prot=%x idx=%d pd=0x%08lx\n",
2178
           vaddr, paddr, prot, mmu_idx, pd);
2178 2179
#endif
2179 2180

  
2180 2181
    address = vaddr;

Also available in: Unified diff