3.1. ID Mapping Examples

Table 8. PCIe device ID mapping example
Source ID Base Number of IDs Destination Device ID Base Destination IOMMU Offset Flags

0x0000

0x10

0x0

IOMMU0_OFFSET_IN_RIMT

0

0x0100

0x10

0x10

IOMMU0_OFFSET_IN_RIMT

0

Table 9. Platform device ID mapping example
Source ID Base Number of IDs Destination Device ID Base Destination IOMMU Offset Flags

0x0000

0x1

0x20

IOMMU0_OFFSET_IN_RIMT

0