Index: arch/mips/src/mm/asid.c
===================================================================
--- arch/mips/src/mm/asid.c	(revision 6b7c36f80b96691f347bd14dd1268ac4f9689f77)
+++ arch/mips/src/mm/asid.c	(revision 121dab579121e6233e19a60f70cb8a478afc8f5c)
@@ -40,5 +40,5 @@
  *
  */
-void asid_bitmap_reset()
+void asid_bitmap_reset(void)
 {
 	memsetb(asid_bitmap, sizeof(asid_bitmap), 0);
@@ -49,5 +49,5 @@
  *
  */
-void init_asids()
+void init_asids(void)
 {
 	memsetb(asids, sizeof(asids), 0);
Index: arch/mips/src/mm/tlb.c
===================================================================
--- arch/mips/src/mm/tlb.c	(revision 6b7c36f80b96691f347bd14dd1268ac4f9689f77)
+++ arch/mips/src/mm/tlb.c	(revision 121dab579121e6233e19a60f70cb8a478afc8f5c)
@@ -28,4 +28,5 @@
 
 #include <arch/mm/tlb.h>
+#include <arch/mm/asid.h>
 #include <mm/tlb.h>
 #include <arch/cp0.h>
@@ -52,3 +53,12 @@
 void tlb_invalidate(int asid)
 {
+	pri_t pri;
+	
+	pri = cpu_priority_high();
+	
+	asid_bitmap_reset();
+	
+	// TODO
+	
+	cpu_priority_restore(pri);
 }