Timestamp Counter Helpers

Helpers for architecture specific timestamp counters

uint64_t get_ticks(void)

get ticks

Parameters

void

no arguments

Return

value of architecture specific timestamp counter