Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision 402eda58922a8ad7839ce8ebb06d82d8f0e6710a)
+++ kernel/genarch/src/mm/asid.c	(revision b0f00a9ed1b00bda8a286a4c4bbe625a7f410bc6)
@@ -97,6 +97,6 @@
 		 * inactive address space.
 		 */
-		ASSERT(!list_empty(&inactive_as_with_asid_head));
-		tmp = inactive_as_with_asid_head.next;
+		tmp = list_first(&inactive_as_with_asid_list);
+		ASSERT(tmp != NULL);
 		list_remove(tmp);