#include <asm/apic.h>
#include <asm/percpu.h>
+extern unsigned int fault_reporting_cpu_id;
+
unsigned int iommu_count_units(void);
+unsigned int iommu_mmio_count_regions(struct cell *cell);
int iommu_init(void);
void iommu_shutdown(void);
+struct per_cpu *iommu_select_fault_reporting_cpu(void);
void iommu_check_pending_faults(void);
-int iommu_mmio_access_handler(bool is_write, u64 addr, u32 *value);
-
bool iommu_cell_emulates_ir(struct cell *cell);
#endif