commit be070764a421769fbf6e9d70e5f91fa0637e3ced
author Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Jun 20 12:06:47 2019 +1000
committer Anna Lyons <Anna.Lyons@data61.csiro.au> Thu Jun 20 12:11:39 2019 +1000
tree 66d302c6e66f647457a9830224914742372114e6
parent 24c02a71e164a51fb847945f05e6d4ba1b242cc8

sel4utils: s/CONFIG_IOMMU/CONFIG_ARM_SMMU

CONFIG_IOMMU does not exist on arm.

libsel4vspace/src/arch/arm/mapping.c

diff --git a/libsel4vspace/src/arch/arm/mapping.c b/libsel4vspace/src/arch/arm/mapping.c
index 285ef23..fe9b504 100644
--- a/libsel4vspace/src/arch/arm/mapping.c
+++ b/libsel4vspace/src/arch/arm/mapping.c
@@ -22,7 +22,7 @@
 
 int vspace_get_iospace_map_obj(UNUSED seL4_Word failed_bits, vspace_map_obj_t *obj)
 {
-    if (unlikely(obj == NULL) || !config_set(CONFIG_IOMMU)) {
+    if (unlikely(obj == NULL) || !config_set(CONFIG_ARM_SMMU)) {
         return EINVAL;
     }
 #ifdef CONFIG_ARM_SMMU