Module bus_range 

Shared PCIe bus range tracking.

An AssignedBusRange holds the segment-local bus range (secondary_bus, subordinate_bus) assigned to the PCIe port that owns a device. It is updated automatically by ConfigSpaceType1Emulator when the guest writes bus number registers, and on restore/reset.

Consumers (ITS wrappers, SMMU) read the bus range to compose a segment-local device identity (BDF) from the assigned bus numbers.

Structs

AssignedBusRange

Segment-local bus range assigned to a PCIe downstream port.