diff --git a/src/include/cpu/x86/tsc.h b/src/include/cpu/x86/tsc.h index fdf6d74e64..96afaa6e7d 100644 --- a/src/include/cpu/x86/tsc.h +++ b/src/include/cpu/x86/tsc.h @@ -17,7 +17,7 @@ static tsc_t rdtsc(void) return res; } -#ifndef ROMCC +#ifndef __ROMCC__ static inline unsigned long long rdtscll(void) { unsigned long long val;