CONFIG_IOMMU_BUS_NUM

Highest PCI bus ID used during IOMMU initialization

Type: hex

Help

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

Defaults

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.)