36 #ifndef _RTEMS_CONFDEFS_CLOCK_H 37 #define _RTEMS_CONFDEFS_CLOCK_H 39 #ifndef __CONFIGURATION_TEMPLATE_h 40 #error "Do not include this file directly, use <rtems/confdefs.h> instead" 47 #if !defined(CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER) \ 48 && !defined(CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER) \ 49 && !defined(CONFIGURE_APPLICATION_NEEDS_TIMER_DRIVER) 50 #error "You must define one of CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER, CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER, and CONFIGURE_APPLICATION_NEEDS_TIMER_DRIVER" 53 #if ( defined(CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER) \ 54 + defined(CONFIGURE_APPLICATION_NEEDS_TIMER_DRIVER) + \ 55 + defined(CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER) ) > 1 56 #error "CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER, CONFIGURE_APPLICATION_DOES_NOT_NEED_CLOCK_DRIVER, and CONFIGURE_APPLICATION_NEEDS_TIMER_DRIVER are mutually exclusive" 59 #ifdef CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER 61 #include <rtems/sysinit.h> 64 #ifndef CONFIGURE_MICROSECONDS_PER_TICK 65 #define CONFIGURE_MICROSECONDS_PER_TICK 10000 68 #if 1000000 % CONFIGURE_MICROSECONDS_PER_TICK != 0 69 #warning "The clock ticks per second is not an integer" 72 #if CONFIGURE_MICROSECONDS_PER_TICK <= 0 73 #error "CONFIGURE_MICROSECONDS_PER_TICK must be positive" 80 #ifdef CONFIGURE_APPLICATION_NEEDS_CLOCK_DRIVER 83 RTEMS_SYSINIT_DEVICE_DRIVERS,
84 RTEMS_SYSINIT_ORDER_THIRD
97 #if defined(CONFIGURE_TICKS_PER_TIMESLICE) \ 98 && CONFIGURE_TICKS_PER_TIMESLICE != WATCHDOG_TICKS_PER_TIMESLICE_DEFAULT const uint32_t _Watchdog_Ticks_per_second
The watchdog ticks per second.
const uint32_t _Watchdog_Nanoseconds_per_tick
The watchdog nanoseconds per tick.
const uint32_t _Watchdog_Microseconds_per_tick
The watchdog microseconds per tick.
#define CONFIGURE_TICKS_PER_TIMESLICE
This configuration option is an integer define.
void _Clock_Initialize(void)
Initialize the clock driver.
Constants for the watchdog ticks.
const uint32_t _Watchdog_Ticks_per_timeslice
The watchdog ticks per timeslice.
#define CONFIGURE_MICROSECONDS_PER_TICK
This configuration option is an integer define.