@ -288,7 +288,7 @@ void timer_set_base(u64 base)
* restart . This yields a free running counter guaranteed to take almost 6
* years to wrap around even at 100 GHz clock rate .
*/
u64 __attribute__ ( ( no_instrument_function ) ) get_ticks ( void )
u64 notrace get_ticks ( void )
{
u64 now_tick = rdtsc ( ) ;
@ -299,7 +299,7 @@ u64 __attribute__((no_instrument_function)) get_ticks(void)
}
/* Get the speed of the TSC timer in MHz */
unsigned __attribute__ ( ( no_instrument_function ) ) long get_tbclk_mhz ( void )
unsigned notrace long get_tbclk_mhz ( void )
{
unsigned long fast_calibrate ;
@ -337,7 +337,7 @@ ulong get_timer(ulong base)
return get_ms_timer ( ) - base ;
}
ulong __attribute__ ( ( no_instrument_function ) ) timer_get_us ( void )
ulong notrace timer_get_us ( void )
{
return get_ticks ( ) / get_tbclk_mhz ( ) ;
}