diff --git a/arch/x86_64/include/intel64/io.h b/arch/x86_64/include/intel64/io.h
index 09708eee50..2c58d0dbfe 100644
--- a/arch/x86_64/include/intel64/io.h
+++ b/arch/x86_64/include/intel64/io.h
@@ -168,7 +168,7 @@ static inline void up_trash_cpu(void)
   asm("ud2":::"memory");
 }
 
-static inline void up_invalid_TLB(uintptr_t start, uintptr_t end)
+static inline void up_invalid_tlb(uintptr_t start, uintptr_t end)
 {
   uintptr_t i;