Index: generic/src/mm/tlb.c
===================================================================
--- generic/src/mm/tlb.c	(revision 8965838eae5fdc203fd5d307b7fa1d1b65804123)
+++ generic/src/mm/tlb.c	(revision 2f7342d12561f9ee108f176359ac9eaea16c4e7c)
@@ -133,4 +133,6 @@
 	int i;
 	
+	ASSERT(CPU);
+	
 	CPU->tlb_active = 0;
 	spinlock_lock(&tlblock);