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