#include <rtai_timer.h>
Data Fields | |
unsigned long long | tsc |
unsigned long | hltsc [2] |
|
Definition at line 55 of file rtai_timer.h. Referenced by rtai_rdtsc(), and split_timer(). |
|
Definition at line 54 of file rtai_timer.h. Referenced by rt_request_timer(), rtai_rdtsc(), and split_timer(). |