diff --git a/arch/arm/src/tiva/Make.defs b/arch/arm/src/tiva/Make.defs
index 9851dcbb6f5..3555119fa15 100644
--- a/arch/arm/src/tiva/Make.defs
+++ b/arch/arm/src/tiva/Make.defs
@@ -97,7 +97,7 @@ CHIP_CSRCS += tiva_i2c.c
 endif
 
 ifeq ($(CONFIG_TIVA_TIMER),y)
-CHIP_CSRCS += tiva_timer.c
+CHIP_CSRCS += tiva_timerlib.c
 ifeq ($(CONFIG_TIMER),y)
 CHIP_CSRCS += tiva_timerlow.c
 endif
diff --git a/arch/arm/src/tiva/tiva_timer.c b/arch/arm/src/tiva/tiva_timerlib.c
similarity index 99%
rename from arch/arm/src/tiva/tiva_timer.c
rename to arch/arm/src/tiva/tiva_timerlib.c
index eab2a4ba712..837693e6b9f 100644
--- a/arch/arm/src/tiva/tiva_timer.c
+++ b/arch/arm/src/tiva/tiva_timerlib.c
@@ -1,5 +1,5 @@
 /****************************************************************************
- * arch/arm/src/tiva/tiva_timer.h
+ * arch/arm/src/tiva/tiva_timerlib.c
  *
  *   Copyright (C) 2015 Gregory Nutt. All rights reserved.
  *   Author: Gregory Nutt <gnutt@nuttx.org>