Print upper 32 bits in devmap table entries
If the devmap entry uses the upper 32 bits they wouldn't be printed in devmap_dump_table(). This fixes that. Submitted by: Nicholas O'Brien <nickisobrien_gmail.com> Sponsored by: Axiado
This commit is contained in:
parent
6386edbb5a
commit
1b6dd6d772
@ -73,7 +73,7 @@ devmap_dump_table(int (*prfunc)(const char *, ...))
|
||||
|
||||
prfunc("Static device mappings:\n");
|
||||
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
|
||||
prfunc(" 0x%08x - 0x%08x mapped at VA 0x%08x\n",
|
||||
prfunc(" 0x%08jx - 0x%08jx mapped at VA 0x%08jx\n",
|
||||
pd->pd_pa, pd->pd_pa + pd->pd_size - 1, pd->pd_va);
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user