Searched refs:nnosTickGetSystemCurrent (Results 1 – 3 of 3) sorted by relevance
29 s64 nnosTickGetSystemCurrent(void) in nnosTickGetSystemCurrent() function
400 NN_EXTERN_C s64 nnosTickGetSystemCurrent(void);
511 return (NOSTick)(nnosTickGetSystemCurrent() << 1); in NOS_GetTick()