File indexing completed on 2025-05-11 08:24:04
0001
0002
0003
0004
0005
0006
0007
0008 #include <rtems.h>
0009 #include <rtems/score/percpu.h>
0010 #include <rtems/score/threaddispatch.h>
0011
0012 #define CLOCK_VECTOR 0
0013
0014 #define Clock_driver_support_initialize_hardware() \
0015 do { } while (0)
0016
0017 #define CLOCK_DRIVER_USE_DUMMY_TIMECOUNTER
0018
0019 #include "clockimpl.h"
0020
0021
0022
0023
0024
0025
0026 #ifndef BSP_CLOCK_DRIVER_DELAY
0027 #define BSP_CLOCK_DRIVER_DELAY()
0028 #endif
0029
0030
0031
0032
0033
0034
0035 void *clock_driver_sim_idle_body(
0036 uintptr_t ignored
0037 )
0038 {
0039 for( ; ; ) {
0040 Per_CPU_Control *cpu = _Thread_Dispatch_disable();
0041 _ISR_Nest_level++;
0042 rtems_clock_tick();
0043 _ISR_Nest_level--;
0044 _Thread_Dispatch_enable( cpu );
0045 BSP_CLOCK_DRIVER_DELAY();
0046 }
0047 return 0;
0048 }