ddb: fix show devmap output on 32-bit arm
The output has been broken since 1b6dd6d772
. Casting to uintmax_t
before the call to printf is necessary to ensure that 32-bit addresses
are interpreted correctly.
PR: 243236
MFC after: 3 days
This commit is contained in:
parent
17d0f830dd
commit
9976b42b69
@ -74,7 +74,9 @@ devmap_dump_table(int (*prfunc)(const char *, ...))
|
||||
prfunc("Static device mappings:\n");
|
||||
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
|
||||
prfunc(" 0x%08jx - 0x%08jx mapped at VA 0x%08jx\n",
|
||||
pd->pd_pa, pd->pd_pa + pd->pd_size - 1, pd->pd_va);
|
||||
(uintmax_t)pd->pd_pa,
|
||||
(uintmax_t)(pd->pd_pa + pd->pd_size - 1),
|
||||
(uintmax_t)pd->pd_va);
|
||||
}
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user