diff --git a/drivers/cc3000/inc/cc3000_common.h b/drivers/cc3000/inc/cc3000_common.h
index aa16242310d20799b1188cc9f0e2b68807996dcf..d0c4b1d4b92ea5fef250a424034ffe2620de08f2 100644
--- a/drivers/cc3000/inc/cc3000_common.h
+++ b/drivers/cc3000/inc/cc3000_common.h
@@ -165,7 +165,7 @@ extern int CC3000_EXPORT(errno);
 //*****************************************************************************
 //                  Compound Types
 //*****************************************************************************
-typedef INT32 time_t;
+typedef INT32 cc3000_time_t;
 typedef UINT32 clock_t;
 typedef INT32 suseconds_t;
 
@@ -173,7 +173,7 @@ typedef struct cc3000_timeval cc3000_timeval;
 
 struct cc3000_timeval
 {
-    time_t         tv_sec;                  /* seconds */
+    cc3000_time_t  tv_sec;                  /* seconds */
     suseconds_t    tv_usec;                 /* microseconds */
 };