Index: generic/include/mm/tlb.h
===================================================================
--- generic/include/mm/tlb.h	(revision d3e7ff48035bedaa7c22200c5da1b8629500fb65)
+++ generic/include/mm/tlb.h	(revision 649799a0fe9f7bc1df2587fdea23c0763d276be5)
@@ -34,4 +34,10 @@
 #include <typedefs.h>
 
+/**
+ * Number of TLB shootdown messages that can be queued in processor
+ * tlb_messages queue.
+ */
+#define TLB_MESSAGE_QUEUE_LEN	10
+
 /** Type of TLB shootdown message. */
 enum tlb_invalidate_type {
@@ -41,5 +47,4 @@
 	TLB_INVL_PAGES			/**< Invalidate specified page range belonging to one address space. */
 };
-
 typedef enum tlb_invalidate_type tlb_invalidate_type_t;
 
@@ -49,6 +54,6 @@
 	asid_t asid;			/**< Address space identifier. */
 	__address page;			/**< Page address. */
+	count_t count;			/**< Number of pages to invalidate. */
 };
-
 typedef struct tlb_shootdown_msg tlb_shootdown_msg_t;
 
@@ -56,5 +61,5 @@
 
 #ifdef CONFIG_SMP
-extern void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, __address page, count_t cnt);
+extern void tlb_shootdown_start(tlb_invalidate_type_t type, asid_t asid, __address page, count_t count);
 extern void tlb_shootdown_finalize(void);
 extern void tlb_shootdown_ipi_recv(void);