system_timer_stub.c

00001 /*
00002  * Copyright (c) 2014-2017, Arm Limited and affiliates.
00003  * SPDX-License-Identifier: Apache-2.0
00004  *
00005  * Licensed under the Apache License, Version 2.0 (the "License");
00006  * you may not use this file except in compliance with the License.
00007  * You may obtain a copy of the License at
00008  *
00009  *     http://www.apache.org/licenses/LICENSE-2.0
00010  *
00011  * Unless required by applicable law or agreed to in writing, software
00012  * distributed under the License is distributed on an "AS IS" BASIS,
00013  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00014  * See the License for the specific language governing permissions and
00015  * limitations under the License.
00016  */
00017 #include "ns_types.h"
00018 #include "timer_sys.h"
00019 #include "platform/arm_hal_interrupt.h"
00020 #include "ns_timer.h"
00021 #include "nsdynmemLIB.h"
00022 #include "eventOS_event.h"
00023 #include "eventOS_callback_timer.h"
00024 
00025 #ifndef ST_MAX
00026 #define ST_MAX 6
00027 #endif
00028 
00029 #define TIMER_SYS_TICK_PERIOD 100
00030 
00031 void timer_sys_init(void)
00032 {
00033 }
00034 
00035 void timer_sys_disable(void)
00036 {
00037 
00038 }
00039 
00040 int8_t timer_sys_wakeup(void)
00041 {
00042     return 0;
00043 }
00044 
00045 uint32_t timer_get_runtime_ticks(void)  // only used in dev_stats_internal.c
00046 {
00047     return 0;
00048 }
00049 
00050 
00051 
00052 int8_t eventOS_event_timer_request(uint8_t snmessage, uint8_t event_type, int8_t tasklet_id, uint32_t time)
00053 {
00054     return -1;
00055 }
00056 
00057 int8_t eventOS_event_timer_cancel(uint8_t snmessage, int8_t tasklet_id)
00058 {
00059     return -1;
00060 }
00061 
00062 
00063 uint32_t eventOS_event_timer_shortest_active_timer(void)
00064 {
00065     return 0;
00066 }
00067 
00068 void system_timer_tick_update(uint32_t ticks)
00069 {
00070 }
00071