1 /*
2  * Copyright (c) 2017 Oticon A/S
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #ifndef _NRF_HW_MODEL_RTC_H
7 #define _NRF_HW_MODEL_RTC_H
8 
9 #include "nrfx.h"
10 
11 #ifdef __cplusplus
12 extern "C"{
13 #endif
14 
15 extern NRF_RTC_Type NRF_RTC_regs[];
16 void nrf_rtc_init();
17 void nrf_rtc_clean_up();
18 void nrf_rtc_LF_tick();
19 void nrf_rtc_timer_triggered();
20 void nrf_rtc_update_COUNTER(int rtc);
21 void nrf_rtc_regw_sideeffect_TASKS_START(int i);
22 void nrf_rtc_regw_sideeffect_TASKS_STOP(int i);
23 void nrf_rtc_regw_sideeffect_TASKS_CLEAR(int i);
24 void nrf_rtc_regw_sideeffect_TASKS_TRIGOVRFLW(int i);
25 void nrf_rtc_regw_sideeffect_INTENSET(int i);
26 void nrf_rtc_regw_sideeffect_INTENCLR(int i);
27 void nrf_rtc_regw_sideeffect_EVTENSET(int i);
28 void nrf_rtc_regw_sideeffect_EVTENCLR(int i);
29 void nrf_rtc_regw_sideeffects_CC(int rtc, int cc_n);
30 void nrf_rtc_notify_first_lf_tick(void);
31 
32 #ifdef __cplusplus
33 }
34 #endif
35 
36 #endif
37