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