From 54c9c5d73b4e8c0c615f011f076aae19dcea989b Mon Sep 17 00:00:00 2001
From: Sparchatus <sparchatus@sparchatus.ch>
Date: Tue, 22 Mar 2022 16:12:47 +0000
Subject: [PATCH] fix paging SEG

---
 lib/aos/paging.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/aos/paging.c b/lib/aos/paging.c
index 69dbfd2..76efae7 100644
--- a/lib/aos/paging.c
+++ b/lib/aos/paging.c
@@ -637,8 +637,7 @@ errval_t paging_map_fixed_attr(struct paging_state *st, lvaddr_t vaddr,
     // precisely exist as required or not at all, i.e. it is not overlapping multiple existing regions
     // TODO rueegges: not sure this is the best way to do this
     struct pt_vaddr_reg_t *vaddr_reg = st->vaddr_head;
-    while(vaddr_reg != NULL) {
-        vaddr_reg = vaddr_reg->next;
+    for(;vaddr_reg != NULL; vaddr_reg = vaddr_reg->next) {
         // we have found the region it belongs to
         if(vaddr_reg->base <= vaddr && vaddr + bytes <= vaddr_reg->base + vaddr_reg->size) {
             if (vaddr_reg->free == true) {