Re: [rtl] inlined rdtsc() function in header file

[Cort Dougan]

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.
-- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
--
For more information on Real-Time Linux see:
http://www.rtlinux.org/rtlinux/