view linux/timer.h @ 3076:bfc881c0e591

newly allocated memory seems to point to only 1 zero filled 4k page or something so there is a near 100% cache hit rate ... not very realistic, writeing something in the source array fixes that so the benchmark scores are meaningfull now

void InitTimer();
unsigned int GetTimer();
//int uGetTimer();
float GetRelativeTime();

int usec_sleep(int usec_delay);