gettick_counter
extern uint64_t gettick_counter(void);
tick = gettick_counter();
tick_begin = gettick_counter();
tick_end = gettick_counter();
extern uint64_t gettick_counter(void);
#define CLOCK_TICK_COUNTER() gettick_counter()
target_tick = gettick_counter(); /* returns %tick */
source_tick = gettick_counter();
DBG("suspend: target tick: 0x%lx", gettick_counter());
extern uint64_t gettick_counter(void); /* returns %tick */