firm/10/os/driver/driver_timer.h

   1 #ifndef _TIMERDRV_H_INCLUDED_
   2 #define _TIMERDRV_H_INCLUDED_
   3
   4 #define TIMERDRV_DEVICE_NUM 1
   5
   6 void timerdrv_start(int msec);
   7 void timerdrv_wait();
   8
   9 struct timerreq {
  10   kz_msgbox_id_t id; /* ¥¿¥¤¥ÞËþÎ»»þ¤Î¥á¥Ã¥»¡¼¥¸Á÷¿®Àè */
  11   int msec;
  12 };
  13
  14 int driver_timer(int argc, char *argv[]);
  15
  16 #endif