commit 0f5b8029d3134de5d8b361bf4dcdee18032dbd54
author Anna Lyons <Anna.Lyons@data61.csiro.au> Fri Apr 20 10:34:02 2018 +1000
committer Anna Lyons <Anna.Lyons@data61.csiro.au> Tue Jun 18 16:08:50 2019 +1000
tree 619c2a3f490943f4cb4b3dce5af64fd9fc8cd13c
parent d4b77967b80c40f7e93a8823a24a4da3048674b3

trivial: avoid error check via assert

libsel4utils/src/mapping.c

diff --git a/libsel4utils/src/mapping.c b/libsel4utils/src/mapping.c
index ccfb24c..634413c 100644
--- a/libsel4utils/src/mapping.c
+++ b/libsel4utils/src/mapping.c
@@ -24,11 +24,9 @@
 sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr,
                    seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects)
 {
-    assert(vka != NULL);
-    assert(vspace_root != 0);
-    assert(frame != 0);
-    assert(vaddr != 0);
-    assert(num_objects);
+    if (!vka || !vaddr || !objects || !num_objects || !root) {
+        return EINVAL;
+    }
 
     seL4_ARCH_VMAttributes attr = cacheable ? seL4_ARCH_Default_VMAttributes :
                                   seL4_ARCH_Uncached_VMAttributes;