diff --git a/src/teeos/mod.rs b/src/teeos/mod.rs
index 89a30a888a5b4..7a5c81554b54a 100644
--- a/src/teeos/mod.rs
+++ b/src/teeos/mod.rs
@@ -41,7 +41,7 @@ pub type pthread_spinlock_t = c_int;
 
 pub type off_t = i64;
 
-pub type time_t = c_long;
+pub type time_t = i64;
 
 pub type clock_t = c_long;