rtl_getschedclock - get the current scheduler clock
#include <rtl_sched.h> clockid_t rtl_getschedclock(void);
This function is a non-portable Real-Time Linux extension. rtl_getschedclock returns the clock id of the clock that the real-time scheduler uses on the local CPU.
Michael Barabanov <baraban@fsmlabs.com>
clock_gettime(3), clock_gethrtime(3)