Revert a printf change from r294307.

Caused build failures with MPC85XX.

Pointy-hat to:	jhibbits
This commit is contained in:
Justin Hibbits 2016-01-19 23:35:12 +00:00
parent 9750d9e5b6
commit e1a51e19e0
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=294363

View File

@ -2844,7 +2844,7 @@ mmu_booke_mapdev_attr(mmu_t mmu, vm_paddr_t pa, vm_size_t size, vm_memattr_t ma)
} while (va % sz != 0);
}
if (bootverbose)
printf("Wiring VA=%lx to PA=%jx (size=%lx), "
printf("Wiring VA=%x to PA=%jx (size=%x), "
"using TLB1[%d]\n", va, (uintmax_t)pa, sz, tlb1_idx);
tlb1_set_entry(va, pa, sz, tlb_calc_wimg(pa, ma));
size -= sz;