3.1. ID Mapping Examples

3.1. ID Mapping Examples

Table 1. 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 2. 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