#ifndef NP2_TICKCOUNT_H
#define NP2_TICKCOUNT_H

#include <stdint.h>

void NP2_TickCount_Initialize(void);

int64_t NP2_TickCount_GetCount(void);
int64_t NP2_TickCount_GetFrequency(void);
int64_t NP2_TickCount_GetCountFromInit(void);

#endif  /* NP2_TICKCOUNT_H */