1#include <acpi/dmar.h>
2#include <drivers/iommu/iommu.h>
3
4void iommu_init(void) {
5 dmar_init();
6}
7