Changes in kernel/genarch/src/mm/asid.c [55b77d9:402eda5] in mainline

File:

• kernel/genarch/src/mm/asid.c (modified) (1 diff)

kernel/genarch/src/mm/asid.c

@@ -97 +97 @@
                  * inactive address space.
                  */
-                tmp = list_first(&inactive_as_with_asid_list);
-                ASSERT(tmp != NULL);
+                ASSERT(!list_empty(&inactive_as_with_asid_head));
+                tmp = inactive_as_with_asid_head.next;
                 list_remove(tmp);