Searched refs:gettick_counter (Results 1 – 7 of 7) sorted by relevance
83 extern uint64_t gettick_counter(void); /* returns %tick */295 target_tick = gettick_counter(); /* returns %tick */ in set_tick_offsets()629 source_tick = gettick_counter(); in suspend_start()711 DBG("suspend: target tick: 0x%lx", gettick_counter()); in suspend_start()
191 extern uint64_t gettick_counter(void);192 #define CLOCK_TICK_COUNTER() gettick_counter()
85 extern uint64_t gettick_counter(void);
147 gettick_counter(void) in gettick_counter() function
152 ENTRY_NP(gettick_counter)156 SET_SIZE(gettick_counter)
706 tick_begin = gettick_counter(); in xcppm_switch_dcdc_converter()711 tick_end = gettick_counter(); in xcppm_switch_dcdc_converter()
1166 tick = gettick_counter(); in simulate_rdtick()