1 files changed, 8 insertions, 0 deletions
diff --git a/kern/mutex/mutex_pi_i.h b/kern/mutex/mutex_pi_i.h
index 6c39db74..616f09b7 100644
--- a/kern/mutex/mutex_pi_i.h
+++ b/kern/mutex/mutex_pi_i.h
@@ -23,6 +23,8 @@
        " use <kern/mutex.h> instead"
 #endif
 
+#include <stdint.h>
+
 #include <kern/mutex_types.h>
 #include <kern/rtmutex.h>
 
@@ -51,6 +53,12 @@ mutex_impl_lock(struct mutex *mutex)
     rtmutex_lock(&mutex->rtmutex);
 }
 
+static inline int
+mutex_impl_timedlock(struct mutex *mutex, uint64_t ticks)
+{
+    return rtmutex_timedlock(&mutex->rtmutex, ticks);
+}
+
 static inline void
 mutex_impl_unlock(struct mutex *mutex)
 {