Где почитать про то, как именно используются эти самые DMAR таблицы и как так вышло, что без поддежки платы IOMMU невозможно использовать даже для проброса устройств, подключенных напрямую к процессору? Судя по структурной схеме моей платы, как минимум PCIe x16 слот подключен напрямую к контроллеру PCIe 3.0 в процессоре.