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