8 #include "networktables2/util/System.h"
14 void sleep_ms(
unsigned long ms){
15 taskDelay((INT32)((
double)sysClkRateGet() * ms / 1000));
17 unsigned long currentTimeMillis(){
19 clock_gettime(CLOCK_REALTIME,&tp);
20 return tp.tv_sec*1000 + tp.tv_nsec/1000;
22 void writeWarning(
const char* message){
23 fprintf(stderr,
"%s\n", message);