Index: kernel/arch/arm32/src/mm/tlb.c
===================================================================
--- kernel/arch/arm32/src/mm/tlb.c	(revision 27e291609fe207cd6350a016713df0c547720247)
+++ kernel/arch/arm32/src/mm/tlb.c	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
@@ -82,5 +82,5 @@
  * @param cnt Number of entries to invalidate.
  */
-void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
+void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_t cnt)
 {
 	unsigned int i;