CONFIG_DMAR_TABLE (not configurable)
modulename: dmar.ko
configname: CONFIG_DMAR_TABLE
Linux Kernel Configuration
└─>Device Drivers
└─>IOMMU Hardware Support
└─>DMAR_TABLE
