diff --git a/src/teeos/mod.rs b/src/teeos/mod.rs
index cffe041976573..066f81ca55e4c 100644
--- a/src/teeos/mod.rs
+++ b/src/teeos/mod.rs
@@ -1106,6 +1106,12 @@ extern "C" {
 
     pub fn pthread_cond_wait(cond: *mut pthread_cond_t, lock: *mut pthread_mutex_t) -> c_int;
 
+    pub fn pthread_cond_timedwait(
+        cond: *mut pthread_cond_t,
+        lock: *mut pthread_mutex_t,
+        abstime: *const ::timespec,
+    ) -> ::c_int;
+
     pub fn pthread_mutexattr_setrobust(attr: *mut pthread_mutexattr_t, robustness: c_int) -> c_int;
 
     pub fn pthread_create(