tree 4ef50d6242f1193f01e5ceefa86b3b25d45ca6d4
parent ee443c8d3e7cf6edbc20c6a2322df31001ff84c7
author Gang Chen <gang.c.chen@intel.com> 1656696249 +0800
committer Felix Held <felix-coreboot@felixheld.de> 1659561420 +0000

device: Fix 64Bit Device Resource Info Print

Use 0x016llx to print device resource info so that both 64bit and
32bit resources could be displayed correctly.

Signed-off-by: Gang Chen <gang.c.chen@intel.com>
Change-Id: I0ec4c47cca4a09ceb7dc929efaa5630b1f9df81c
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66324
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>