1 /*
2  * Copyright (c) 2016-2018 Nordic Semiconductor ASA
3  * Copyright (c) 2016 Vinayak Kariappa Chettimada
4  *
5  * SPDX-License-Identifier: Apache-2.0
6  */
7 
8 #include "hal/ticker_vendor_hal.h"
9 
10 uint8_t hal_ticker_instance0_caller_id_get(uint8_t user_id);
11 void hal_ticker_instance0_sched(uint8_t caller_id, uint8_t callee_id, uint8_t chain,
12 				void *instance);
13 void hal_ticker_instance0_trigger_set(uint32_t value);
14