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