Change __inline__ unsigned long long int rdtsc(void) to static __inline__ unsigned long long int rdtsc(void) or extern __inline__ unsigned long long int rdtsc(void) and it should work.