diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-08-27 17:20:12 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-08-27 17:20:12 +0200 |
| commit | cbf35081fabde1ce35cbaf223fde853db86e06d4 (patch) | |
| tree | a6215d6335ec42e33da4b6aadfa1b3c0be9c860b /kern/rtmutex_i.h | |
| parent | 094319b4a0a04ae11e24b44bb67aaf901536afb2 (diff) | |
| parent | 70f7512a01ba8f90aad6dbb4d285e279f0e17e64 (diff) | |
Merge branch 'timer_system'
Diffstat (limited to 'kern/rtmutex_i.h')
| -rw-r--r-- | kern/rtmutex_i.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/rtmutex_i.h b/kern/rtmutex_i.h index 984cfd16..75ac5e4a 100644 --- a/kern/rtmutex_i.h +++ b/kern/rtmutex_i.h @@ -74,6 +74,8 @@ rtmutex_unlock_fast(struct rtmutex *rtmutex) void rtmutex_lock_slow(struct rtmutex *rtmutex); +int rtmutex_timedlock_slow(struct rtmutex *rtmutex, uint64_t ticks); + void rtmutex_unlock_slow(struct rtmutex *rtmutex); #endif /* _KERN_RTMUTEX_I_H */ |