Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision 402eda58922a8ad7839ce8ebb06d82d8f0e6710a)
+++ kernel/genarch/src/mm/asid.c	(revision e4f8c77d2f0ec68a5943a6b063aaa901dc22d1b4)
@@ -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);