Definition at line 48 of file rtai_types.h.
Data Fields | |
int | linux_tick |
int | periodic_tick |
RTIME | tick_time |
RTIME | linux_time |
RTIME | intr_time |
Definition at line 49 of file rtai_types.h.
Referenced by recover_jiffies(), rt_set_sched_policy(), and start_rt_timer().
Definition at line 50 of file rtai_types.h.
Referenced by rt_hard_timer_tick_count(), rt_hard_timer_tick_count_cpuid(), and start_rt_timer().
Definition at line 51 of file rtai_types.h.
Referenced by recover_jiffies(), rt_get_time(), rt_task_wait_period(), and start_rt_timer().