TemplateDevice_Time.c 373 B

123456789101112131415161718
  1. #include "TemplateDevice_Time.h"
  2. void TemplateDevice_Time_sleep_ms(PikaObj *self, int ms){
  3. }
  4. void TemplateDevice_Time_sleep_s(PikaObj *self, int s){
  5. }
  6. static volatile uint64_t tick_ms = 0;
  7. void TemplateDevice_Time_platformGetTick(PikaObj *self){
  8. tick_ms += 50;
  9. obj_setInt(self, "tick", tick_ms);
  10. }
  11. void TemplateDevice_Time_platformGetEventId(PikaObj *self){
  12. }