Print DeviceHandle and PhysicalId in hex.

The first is actually a bitfield.  The second is printed in hex by
dmidecode, so uniformidy should be good.

MFC after:	1 week
This commit is contained in:
Alexander Motin 2021-02-05 16:13:55 -05:00
parent eaffd270d8
commit 92d0d6bb14

View File

@ -1615,8 +1615,8 @@ acpi_print_nfit(ACPI_NFIT_HEADER *nfit)
break;
case ACPI_NFIT_TYPE_MEMORY_MAP:
mmap = (ACPI_NFIT_MEMORY_MAP *)nfit;
printf("\tDeviceHandle=%u\n", (u_int)mmap->DeviceHandle);
printf("\tPhysicalId=%u\n", (u_int)mmap->PhysicalId);
printf("\tDeviceHandle=0x%x\n", (u_int)mmap->DeviceHandle);
printf("\tPhysicalId=0x%04x\n", (u_int)mmap->PhysicalId);
printf("\tRegionId=%u\n", (u_int)mmap->RegionId);
printf("\tRangeIndex=%u\n", (u_int)mmap->RangeIndex);
printf("\tRegionIndex=%u\n", (u_int)mmap->RegionIndex);