system_timer_stub.c

00001 /*
00002  * Copyright (c) 2014-2017 ARM Limited. All Rights Reserved.
00003  */
00004 #include "ns_types.h"
00005 #include "timer_sys.h"
00006 #include "platform/arm_hal_interrupt.h"
00007 #include "ns_timer.h"
00008 #include "nsdynmemLIB.h"
00009 #include "eventOS_event.h"
00010 #include "eventOS_callback_timer.h"
00011 
00012 #ifndef ST_MAX
00013 #define ST_MAX 6
00014 #endif
00015 
00016 #define TIMER_SYS_TICK_PERIOD 100
00017 
00018 void timer_sys_init(void)
00019 {
00020 }
00021 
00022 void timer_sys_disable(void)
00023 {
00024 
00025 }
00026 
00027 int8_t timer_sys_wakeup(void)
00028 {
00029     return 0;
00030 }
00031 
00032 uint32_t timer_get_runtime_ticks(void)  // only used in dev_stats_internal.c
00033 {
00034     return 0;
00035 }
00036 
00037 
00038 
00039 int8_t eventOS_event_timer_request(uint8_t snmessage, uint8_t event_type, int8_t tasklet_id, uint32_t time)
00040 {
00041     return -1;
00042 }
00043 
00044 int8_t eventOS_event_timer_cancel(uint8_t snmessage, int8_t tasklet_id)
00045 {
00046     return -1;
00047 }
00048 
00049 
00050 uint32_t eventOS_event_timer_shortest_active_timer(void)
00051 {
00052     return 0;
00053 }
00054 
00055 void system_timer_tick_update(uint32_t ticks)
00056 {
00057 }
00058