acpidump IVRS table format: change 'IOMMUId' into 'IOMMU DeviceId'

and apply the consistent format for device ids used in other IVRS
elements.  The field seems to be the PCI Device ID of the IOMMU itself,
instead of an abstract unit ID.

Sponsored by:	Advanced Micro Devices (AMD)
Sponsored by:	The FreeBSD Foundation
MFC after:	1 week
This commit is contained in:
Konstantin Belousov 2024-05-20 02:01:43 +03:00
parent 4f77144279
commit 6cba29c09a

View file

@ -1504,7 +1504,7 @@ acpi_handle_dmar(ACPI_TABLE_HEADER *sdp)
static void
acpi_handle_ivrs_ivhd_header(ACPI_IVRS_HEADER *addr)
{
printf("\n\tIVHD Type=%#x IOMMUId=%x\n\tFlags=",
printf("\n\tIVHD Type=%#x IOMMU DeviceId=%#06x\n\tFlags=",
addr->Type, addr->DeviceId);
#define PRINTFLAG(flag, name) printflag(addr->Flags, flag, #name)
PRINTFLAG(ACPI_IVHD_TT_ENABLE, HtTunEn);