HomeFreeBSD

amd_iommu: Bound IVHD device-entry parsing

Description

amd_iommu: Bound IVHD device-entry parsing

Validate the IVRS table and every subtable length before using either
to form iterator bounds. Reject truncated typed IVHD blocks instead of
passing them to a type-specific callback.

Within each IVHD payload, correct the lower-bound comparison for
extended range entries and validate fixed-size entries, paired range
terminators, the fixed HID body, and the variable HID UID before
dereferencing or advancing. Malformed firmware can no longer drive
either iterator beyond its enclosing object.

Reviewed by: kib
MFC after: 2 weeks
Sponsored by: BBOX.io
Differential Revision: https://reviews.freebsd.org/D58724

Details

Provenance
Kevin Bowling <kbowling@FreeBSD.org>Authored on Aug 6 2026, 8:22 AM
Reviewer
kib
Differential Revision
D58724: amd_iommu: Bound IVHD device-entry parsing
Parents
rGf49f33ef8c53: bhyvectl: Generalize bhyve IPC code
Branches
Unknown
Tags
Unknown