eventOS_callback_timer.h

00001 /*
00002  * Copyright (c) 2014-2015 ARM Limited. All rights reserved.
00003  * SPDX-License-Identifier: Apache-2.0
00004  * Licensed under the Apache License, Version 2.0 (the License); you may
00005  * not use this file except in compliance with the License.
00006  * You may obtain a copy of the License at
00007  *
00008  * http://www.apache.org/licenses/LICENSE-2.0
00009  *
00010  * Unless required by applicable law or agreed to in writing, software
00011  * distributed under the License is distributed on an AS IS BASIS, WITHOUT
00012  * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00013  * See the License for the specific language governing permissions and
00014  * limitations under the License.
00015  */
00016 #ifndef EVENTOS_CALLBACK_TIMER_H_
00017 #define EVENTOS_CALLBACK_TIMER_H_
00018 #ifdef __cplusplus
00019 extern "C" {
00020 #endif
00021 #include "ns_types.h"
00022 
00023 extern int8_t eventOS_callback_timer_register(void (*timer_interrupt_handler)(int8_t, uint16_t));
00024 extern int8_t eventOS_callback_timer_unregister(int8_t ns_timer_id);
00025 
00026 extern int8_t eventOS_callback_timer_stop(int8_t ns_timer_id);
00027 extern int8_t eventOS_callback_timer_start(int8_t ns_timer_id, uint16_t slots);
00028 #ifdef __cplusplus
00029 }
00030 #endif
00031 
00032 #endif /* EVENTOS_CALLBACK_TIMER_H_ */