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) {