/*
 * Copyright (c) 2017 Oticon A/S
 * Copyright (c) 2023 Nordic Semiconductor ASA
 *
 * SPDX-License-Identifier: Apache-2.0
 */
#ifndef _NRF_HW_MODEL_RTC_H
#define _NRF_HW_MODEL_RTC_H

#include "bs_types.h"

#ifdef __cplusplus
extern "C"{
#endif

void nhw_rtc_update_COUNTER(uint rtc);
void nhw_rtc_regw_sideeffect_TASKS_START(uint i);
void nhw_rtc_regw_sideeffect_TASKS_STOP(uint i);
void nhw_rtc_regw_sideeffect_TASKS_CLEAR(uint i);
void nhw_rtc_regw_sideeffect_TASKS_TRIGOVRFLW(uint i);
void nhw_rtc_regw_sideeffect_TASKS_CAPTURE(uint i, uint cc);
void nhw_rtc_regw_sideeffect_INTENSET(uint i);
void nhw_rtc_regw_sideeffect_INTENCLR(uint i);
void nhw_rtc_regw_sideeffect_EVTENSET(uint i);
void nhw_rtc_regw_sideeffect_EVTENCLR(uint i);
void nhw_rtc_regw_sideeffects_EVENTS_all(uint rtc);
void nhw_rtc_regw_sideeffects_CC(uint rtc, uint cc_n);
void nhw_rtc_regw_sideeffects_SUBSCRIBE_START(uint inst);
void nhw_rtc_regw_sideeffects_SUBSCRIBE_STOP(uint inst);
void nhw_rtc_regw_sideeffects_SUBSCRIBE_CLEAR(uint inst);
void nhw_rtc_regw_sideeffects_SUBSCRIBE_TRIGOVRFLW(uint inst);
void nhw_rtc_regw_sideeffects_SUBSCRIBE_CAPTURE(uint inst, uint cc);
void nhw_rtc_notify_first_lf_tick(void);

#if (NHW_HAS_PPI)
void nhw_rtc0_TASKS_START(void);
void nhw_rtc0_TASKS_STOP(void);
void nhw_rtc0_TASKS_CLEAR(void);
void nhw_rtc0_TASKS_TRIGOVRFLW(void);
void nhw_rtc1_TASKS_START(void);
void nhw_rtc1_TASKS_STOP(void);
void nhw_rtc1_TASKS_CLEAR(void);
void nhw_rtc1_TASKS_TRIGOVRFLW(void);
void nhw_rtc2_TASKS_START(void);
void nhw_rtc2_TASKS_STOP(void);
void nhw_rtc2_TASKS_CLEAR(void);
void nhw_rtc2_TASKS_TRIGOVRFLW(void);
#endif /* NHW_HAS_PPI */

/**
 * Return the time when the provided RTC would have had a COUNTER value of 0
 *
 * @param rtc RTC index
 * 
 * @returns The time in microseconds that corresponds to the time in the past
 *          when the RTC COUNTER would have been 0.
 *          The value can be negative (that is before time 0), as the RTC could
 *          have been started very early with COUNTER > 0.
 */
int64_t nhw_rtc_start_time_get(uint rtc);

#ifdef __cplusplus
}
#endif

#endif