/*
 * Copyright (c) 2023 Nordic Semiconductor ASA
 *
 * SPDX-License-Identifier: Apache-2.0
 */

/**
 * @file
 * @brief API to the native simulator - native HW counter
 */

#ifndef NATIVE_SIMULATOR_NATIVE_SRC_HW_COUNTER_H
#define NATIVE_SIMULATOR_NATIVE_SRC_HW_COUNTER_H

#include <stdint.h>

#ifdef __cplusplus
extern "C" {
#endif

void hw_counter_triggered(void);

void hw_counter_set_period(uint64_t period);
void hw_counter_set_target(uint64_t counter_target);
void hw_counter_set_wrap_value(uint64_t wrap_value);
void hw_counter_start(void);
void hw_counter_stop(void);
bool hw_counter_is_started(void);
uint64_t hw_counter_get_value(void);
void hw_counter_reset(void);

#ifdef __cplusplus
}
#endif

#endif /* NATIVE_SIMULATOR_NATIVE_SRC_HW_COUNTER_H */