#ifndef SYS__IOMMU_H__
#define SYS__IOMMU_H__

void iommu_disable_all(void);

#endif