SHARE
TWEET

Untitled

a guest Apr 24th, 2019 67 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. #ifndef DEVICES_TIMER_H
  2. #define DEVICES_TIMER_H
  3.  
  4. #include <round.h>
  5. #include <stdint.h>
  6.  
  7. /* Number of timer interrupts per second. */
  8. #define TIMER_FREQ 100
  9.  
  10. void timer_init (void);
  11. void timer_calibrate (void);
  12.  
  13. int64_t timer_ticks (void);
  14. int64_t timer_elapsed (int64_t);
  15.  
  16. /* Sleep and yield the CPU to other threads. */
  17. void timer_sleep (int64_t ticks);
  18. void timer_msleep (int64_t milliseconds);
  19. void timer_usleep (int64_t microseconds);
  20. void timer_nsleep (int64_t nanoseconds);
  21.  
  22. /* Busy waits. */
  23. void timer_mdelay (int64_t milliseconds);
  24. void timer_udelay (int64_t microseconds);
  25. void timer_ndelay (int64_t nanoseconds);
  26.  
  27. void timer_print_stats (void);
  28.  
  29. #endif /* devices/timer.h */
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top