Index: generic/src/mm/tlb.c
===================================================================
--- generic/src/mm/tlb.c	(revision 1093620503b2f69322a4608d2a3ce6af5b4336cd)
+++ generic/src/mm/tlb.c	(revision 849386a07eb8c9ccdf6283b866a86ee0c59052bc)
@@ -55,23 +55,10 @@
 	
 	/*
-	 * TODO: assemble shootdown message.
+	 * TODO: wrap parameters into a message and
+	 * dispatch it to all CPUs excluding this one.
 	 */
+	
 	tlb_shootdown_ipi_send();
 
-	switch (type) {
-	    case TLB_INVL_ALL:
-		tlb_invalidate_all();
-		break;
-	    case TLB_INVL_ASID:
-		tlb_invalidate_asid(asid);
-		break;
-	    case TLB_INVL_PAGES:
-		tlb_invalidate_pages(asid, page, cnt);
-		break;
-	    default:
-		panic("unknown tlb_invalidate_type_t value: %d\n", type);
-		break;
-	}
-	
 busy_wait:	
 	for (i = 0; i<config.cpu_count; i++)
@@ -96,5 +83,5 @@
 	spinlock_lock(&tlblock);
 	spinlock_unlock(&tlblock);
-	tlb_invalidate_all();	/* TODO: use valid ASID */
+	tlb_invalidate_all();	/* TODO: be more finer-grained in what to invalidate */
 	CPU->tlb_active = 1;
 }