x86_64: Added missing error returns in pmap.

diff --git a/lib/barrelfish/target/x86_32/pmap_target.c b/lib/barrelfish/target/x86_32/pmap_target.c
index 03be61d..19483e6 100644 (file)
--- a/lib/barrelfish/target/x86_32/pmap_target.c
+++ b/lib/barrelfish/target/x86_32/pmap_target.c
@@ -280,7 +280,10 @@ static errval_t do_map(struct pmap_x86 *pmap, genvaddr_t vaddr,
 
     if (X86_32_PDIR_BASE(vaddr) == X86_32_PDIR_BASE(vend)) {
         // fast path
-        do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
+        err = do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
+        if (err_is_fail(err)) {
+            return err_push(err, LIB_ERR_PMAP_DO_MAP);
+        }
     }
     else { // multiple leaf page tables
         // first leaf

diff --git a/lib/barrelfish/target/x86_64/pmap_target.c b/lib/barrelfish/target/x86_64/pmap_target.c
index 8e053a3..f1bf306 100644 (file)
--- a/lib/barrelfish/target/x86_64/pmap_target.c
+++ b/lib/barrelfish/target/x86_64/pmap_target.c
@@ -290,7 +290,10 @@ static errval_t do_map(struct pmap_x86 *pmap, genvaddr_t vaddr,
 
     if (X86_64_PDIR_BASE(vaddr) == X86_64_PDIR_BASE(vend)) {
         // fast path
-        do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
+        err = do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
+        if (err_is_fail(err)) {
+            return err_push(err, LIB_ERR_PMAP_DO_MAP);
+        }
     }
     else { // multiple leaf page tables
         // first leaf