5.1.1 : The header (timer.h)

The timer.h is :
1
2
3
4
5
6
7
8
9
10
#ifndef __TIMER_H__
#define __TIMER_H__

#ifdef __i386
extern long unsigned int rdtsc(void);
#elif defined __amd64
extern long unsigned int rdtsc(void);
#endif

#endif