Help¶

Any BDF with a bus ID smaller than this number is mapped to the IOMMU domain of the first VM.

Defaults¶

0x10 if PLATFORM_SBL
0x100 if PLATFORM_UEFI

Kconfig definition¶

At arch/x86/Kconfig:352

Included via Kconfig:3

Menu path: (top menu)

config IOMMU_BUS_NUM
    hex
    prompt "Highest PCI bus ID used during IOMMU initialization"
    default 0x10 if PLATFORM_SBL
    default 0x100 if PLATFORM_UEFI
    help
      Any BDF with a bus ID smaller than this number is mapped to
      the IOMMU domain of the first VM.

(Definitions include propagated dependencies, including from if’s and menus.)