src/hw/timer/devtimer.h

   1 /******************************************************************************
   2  * FILE PURPOSE: Define the device timer API
   3  ******************************************************************************
   4  * FILE NAME: devtimer.h
   5  *
   6  * DESCRIPTION: The API for the all device timers
   7  *
   8  * @file devtimer.h
   9  *
  10  * @brief
  11  *      This file defines the API used by all device timers
  12  *
  13  *******************************************************************************/
  14 #ifndef DEVTIMER_H
  15 #define DEVTIMER_H
  16
  17 #include "types.h"
  18 #include "devtimer.h"
  19
  20 Bool dev_check_timer (void);
  21 Int32 dev_delete_timer (void);
  22 Int32 dev_create_timer (void);
  23
  24
  25 #endif /* DEVTIMER_H */
  26
  27
  28
  29
  30
  31
  32
  33