Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
+++ kernel/genarch/src/mm/asid.c	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -129,5 +129,5 @@
 		 * cache must be invalidated as well.
 		 */
-		as_invalidate_translation_cache(as, 0, 0);
+		as_invalidate_translation_cache(as, 0, (count_t) -1);
 		
 		mutex_unlock(&as->lock);