Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
+++ kernel/genarch/src/mm/asid.c	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -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);