diff options
Diffstat (limited to 'config/os/gnu-linux/time.h')
| -rw-r--r-- | config/os/gnu-linux/time.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/os/gnu-linux/time.h b/config/os/gnu-linux/time.h index 10a2a8c..16e7e58 100644 --- a/config/os/gnu-linux/time.h +++ b/config/os/gnu-linux/time.h @@ -33,4 +33,10 @@ jack_get_microseconds (void) return _jack_get_microseconds (); } +typedef jack_time_t (*jack_get_microseconds_t)(void); +static inline jack_get_microseconds_t jack_get_microseconds_pointer(void) +{ + return _jack_get_microseconds; +} + #endif /* __jack_time_h__ */ |