ddb: fix show devmap output on 32-bit arm
The output has been broken since 1b6dd6d772ca. 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
ddb: fix show devmap output on 32-bit arm Tags None Referenced Files None Subscribers None
Description
Details
|