1 2 3 4 5 6 7
#include "common/types.h" namespace Timer{ uint64 get_time(); void set_next_trigger(); void init(); }