mirror of
https://github.com/zephyrproject-rtos/zephyr
synced 2025-09-13 20:40:49 +00:00
Introduce a new counter API function for reading the current counter value (counter_get_value()) and deprecate the former counter_read() in favor of this. Update all drivers and calling code to match the new counter API. The previous counter driver API function for reading the current value of the counter (counter_read()) did not support indicating whether the read suceeded. This is fine for counters internal to the SoC where the read always succeeds but insufficient for external counters (e.g. I2C or SPI slaves). Fixes #21846. Signed-off-by: Henrik Brix Andersen <henrik@brixandersen.dk>
618 lines
18 KiB
C
618 lines
18 KiB
C
/*
|
|
* Copyright (c) 2018 Nordic Semiconductor ASA
|
|
* Copyright (c) 2016 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
/**
|
|
* @file
|
|
* @brief Public API for counter and timer drivers
|
|
*/
|
|
|
|
#ifndef ZEPHYR_INCLUDE_DRIVERS_COUNTER_H_
|
|
#define ZEPHYR_INCLUDE_DRIVERS_COUNTER_H_
|
|
|
|
/**
|
|
* @brief Counter Interface
|
|
* @defgroup counter_interface Counter Interface
|
|
* @ingroup io_interfaces
|
|
* @{
|
|
*/
|
|
|
|
#include <zephyr/types.h>
|
|
#include <stddef.h>
|
|
#include <device.h>
|
|
#include <stdbool.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
/**@defgroup COUNTER_FLAGS Counter device capabilities
|
|
* @{ */
|
|
|
|
/**
|
|
* @brief Counter count up flag.
|
|
*/
|
|
#define COUNTER_CONFIG_INFO_COUNT_UP BIT(0)
|
|
|
|
/**@} */
|
|
|
|
/**@defgroup COUNTER_TOP_FLAGS Flags used by @ref counter_top_cfg.
|
|
* @{
|
|
*/
|
|
|
|
/**
|
|
* @brief Flag preventing counter reset when top value is changed.
|
|
*
|
|
* If flags is set then counter is free running while top value is updated,
|
|
* otherwise counter is reset (see @ref counter_set_top_value()).
|
|
*/
|
|
#define COUNTER_TOP_CFG_DONT_RESET BIT(0)
|
|
|
|
/**
|
|
* @brief Flag instructing counter to reset itself if changing top value
|
|
* results in counter going out of new top value bound.
|
|
*
|
|
* See @ref COUNTER_TOP_CFG_DONT_RESET.
|
|
*/
|
|
#define COUNTER_TOP_CFG_RESET_WHEN_LATE BIT(1)
|
|
|
|
/**@} */
|
|
|
|
/**@defgroup COUNTER_ALARM_FLAGS Alarm configuration flags
|
|
*
|
|
* @brief Used in alarm configuration structure (@ref counter_alarm_cfg).
|
|
* @{ */
|
|
|
|
/**
|
|
* @brief Counter alarm absolute value flag.
|
|
*
|
|
* Ticks relation to counter value. If set ticks are treated as absolute value,
|
|
* else it is relative to the counter reading performed during the call.
|
|
*/
|
|
#define COUNTER_ALARM_CFG_ABSOLUTE BIT(0)
|
|
|
|
/**
|
|
* @brief Alarm flag enabling immediate expiration when driver detects that
|
|
* absolute alarm was set too late.
|
|
*
|
|
* Alarm callback must be called from the same context as if it was set on time.
|
|
*/
|
|
#define COUNTER_ALARM_CFG_EXPIRE_WHEN_LATE BIT(1)
|
|
|
|
/**@} */
|
|
|
|
/**@defgroup COUNTER_GUARD_PERIOD_FLAGS Counter guard period flags
|
|
*
|
|
* @brief Used by @ref counter_set_guard_period and
|
|
* @ref counter_get_guard_period.
|
|
* @{ */
|
|
|
|
/**
|
|
* @brief Identifies guard period needed for detection of late setting of
|
|
* absolute alarm (see @ref counter_set_channel_alarm).
|
|
*/
|
|
#define COUNTER_GUARD_PERIOD_LATE_TO_SET BIT(0)
|
|
|
|
/**@} */
|
|
|
|
/** @brief Alarm callback
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param chan_id Channel ID.
|
|
* @param ticks Counter value that triggered the alarm.
|
|
* @param user_data User data.
|
|
*/
|
|
typedef void (*counter_alarm_callback_t)(struct device *dev,
|
|
u8_t chan_id, u32_t ticks,
|
|
void *user_data);
|
|
|
|
/** @brief Alarm callback structure.
|
|
*
|
|
* @param callback Callback called on alarm (cannot be NULL).
|
|
* @param ticks Number of ticks that triggers the alarm. It can be relative (to
|
|
* now) or absolute value (see @ref COUNTER_ALARM_CFG_ABSOLUTE).
|
|
* Absolute alarm cannot be set further in future than top_value
|
|
* decremented by the guard period. Relative alarm ticks cannot
|
|
* exceed current top value (see @ref counter_get_top_value).
|
|
* If counter is clock driven then ticks can be converted to
|
|
* microseconds (see @ref counter_ticks_to_us). Alternatively,
|
|
* counter implementation may count asynchronous events.
|
|
* @param user_data User data returned in callback.
|
|
* @param flags Alarm flags. See @ref COUNTER_ALARM_FLAGS.
|
|
*/
|
|
struct counter_alarm_cfg {
|
|
counter_alarm_callback_t callback;
|
|
u32_t ticks;
|
|
void *user_data;
|
|
u32_t flags;
|
|
};
|
|
|
|
/** @brief Callback called when counter turns around.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param user_data User data provided in @ref counter_set_top_value.
|
|
*/
|
|
typedef void (*counter_top_callback_t)(struct device *dev, void *user_data);
|
|
|
|
/** @brief Top value configuration structure.
|
|
*
|
|
* @param ticks Top value.
|
|
* @param callback Callback function. Can be NULL.
|
|
* @param user_data User data passed to callback function. Not valid if
|
|
* callback is NULL.
|
|
* @param flags Flags. See @ref COUNTER_TOP_FLAGS.
|
|
*/
|
|
struct counter_top_cfg {
|
|
u32_t ticks;
|
|
counter_top_callback_t callback;
|
|
void *user_data;
|
|
u32_t flags;
|
|
};
|
|
|
|
/** @brief Structure with generic counter features.
|
|
*
|
|
* @param max_top_value Maximal (default) top value on which counter is reset
|
|
* (cleared or reloaded).
|
|
* @param freq Frequency of the source clock if synchronous events are
|
|
* counted.
|
|
* @param flags Flags. See @ref COUNTER_FLAGS.
|
|
* @param channels Number of channels that can be used for setting alarm,
|
|
* see @ref counter_set_channel_alarm.
|
|
*/
|
|
struct counter_config_info {
|
|
u32_t max_top_value;
|
|
u32_t freq;
|
|
u8_t flags;
|
|
u8_t channels;
|
|
};
|
|
|
|
typedef int (*counter_api_start)(struct device *dev);
|
|
typedef int (*counter_api_stop)(struct device *dev);
|
|
typedef int (*counter_api_get_value)(struct device *dev, u32_t *ticks);
|
|
typedef int (*counter_api_set_alarm)(struct device *dev, u8_t chan_id,
|
|
const struct counter_alarm_cfg *alarm_cfg);
|
|
typedef int (*counter_api_cancel_alarm)(struct device *dev, u8_t chan_id);
|
|
typedef int (*counter_api_set_top_value)(struct device *dev,
|
|
const struct counter_top_cfg *cfg);
|
|
typedef u32_t (*counter_api_get_pending_int)(struct device *dev);
|
|
typedef u32_t (*counter_api_get_top_value)(struct device *dev);
|
|
typedef u32_t (*counter_api_get_max_relative_alarm)(struct device *dev);
|
|
typedef u32_t (*counter_api_get_guard_period)(struct device *dev, u32_t flags);
|
|
typedef int (*counter_api_set_guard_period)(struct device *dev, u32_t ticks,
|
|
u32_t flags);
|
|
|
|
struct counter_driver_api {
|
|
counter_api_start start;
|
|
counter_api_stop stop;
|
|
counter_api_get_value get_value;
|
|
counter_api_set_alarm set_alarm;
|
|
counter_api_cancel_alarm cancel_alarm;
|
|
counter_api_set_top_value set_top_value;
|
|
counter_api_get_pending_int get_pending_int;
|
|
counter_api_get_top_value get_top_value;
|
|
counter_api_get_max_relative_alarm get_max_relative_alarm;
|
|
counter_api_get_guard_period get_guard_period;
|
|
counter_api_set_guard_period set_guard_period;
|
|
};
|
|
|
|
/**
|
|
* @brief Function to check if counter is counting up.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @retval true if counter is counting up.
|
|
* @retval false if counter is counting down.
|
|
*/
|
|
__syscall bool counter_is_counting_up(const struct device *dev);
|
|
|
|
static inline bool z_impl_counter_is_counting_up(const struct device *dev)
|
|
{
|
|
const struct counter_config_info *config =
|
|
(struct counter_config_info *)dev->config->config_info;
|
|
|
|
return config->flags & COUNTER_CONFIG_INFO_COUNT_UP;
|
|
}
|
|
|
|
/**
|
|
* @brief Function to get number of alarm channels.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @return Number of alarm channels.
|
|
*/
|
|
__syscall u8_t counter_get_num_of_channels(const struct device *dev);
|
|
|
|
static inline u8_t z_impl_counter_get_num_of_channels(const struct device *dev)
|
|
{
|
|
const struct counter_config_info *config =
|
|
(struct counter_config_info *)dev->config->config_info;
|
|
|
|
return config->channels;
|
|
}
|
|
|
|
/**
|
|
* @brief Function to get counter frequency.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @return Frequency of the counter in Hz, or zero if the counter does
|
|
* not have a fixed frequency.
|
|
*/
|
|
__syscall u32_t counter_get_frequency(const struct device *dev);
|
|
|
|
static inline u32_t z_impl_counter_get_frequency(const struct device *dev)
|
|
{
|
|
const struct counter_config_info *config =
|
|
(struct counter_config_info *)dev->config->config_info;
|
|
|
|
return config->freq;
|
|
}
|
|
|
|
/**
|
|
* @brief Function to convert microseconds to ticks.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
* @param[in] us Microseconds.
|
|
*
|
|
* @return Converted ticks. Ticks will be saturated if exceed 32 bits.
|
|
*/
|
|
__syscall u32_t counter_us_to_ticks(const struct device *dev, u64_t us);
|
|
|
|
static inline u32_t z_impl_counter_us_to_ticks(const struct device *dev,
|
|
u64_t us)
|
|
{
|
|
const struct counter_config_info *config =
|
|
(struct counter_config_info *)dev->config->config_info;
|
|
u64_t ticks = (us * config->freq) / USEC_PER_SEC;
|
|
|
|
return (ticks > (u64_t)UINT32_MAX) ? UINT32_MAX : ticks;
|
|
}
|
|
|
|
/**
|
|
* @brief Function to convert ticks to microseconds.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
* @param[in] ticks Ticks.
|
|
*
|
|
* @return Converted microseconds.
|
|
*/
|
|
__syscall u64_t counter_ticks_to_us(const struct device *dev, u32_t ticks);
|
|
|
|
static inline u64_t z_impl_counter_ticks_to_us(const struct device *dev,
|
|
u32_t ticks)
|
|
{
|
|
const struct counter_config_info *config =
|
|
(struct counter_config_info *)dev->config->config_info;
|
|
|
|
return ((u64_t)ticks * USEC_PER_SEC) / config->freq;
|
|
}
|
|
|
|
/**
|
|
* @brief Function to retrieve maximum top value that can be set.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @return Max top value.
|
|
*/
|
|
__syscall u32_t counter_get_max_top_value(const struct device *dev);
|
|
|
|
static inline u32_t z_impl_counter_get_max_top_value(const struct device *dev)
|
|
{
|
|
const struct counter_config_info *config =
|
|
(struct counter_config_info *)dev->config->config_info;
|
|
|
|
return config->max_top_value;
|
|
}
|
|
|
|
/**
|
|
* @brief Start counter device in free running mode.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @retval 0 If successful.
|
|
* @retval Negative errno code if failure.
|
|
*/
|
|
__syscall int counter_start(struct device *dev);
|
|
|
|
static inline int z_impl_counter_start(struct device *dev)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return api->start(dev);
|
|
}
|
|
|
|
/**
|
|
* @brief Stop counter device.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @retval 0 If successful.
|
|
* @retval -ENOTSUP if the device doesn't support stopping the
|
|
* counter.
|
|
*/
|
|
__syscall int counter_stop(struct device *dev);
|
|
|
|
static inline int z_impl_counter_stop(struct device *dev)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return api->stop(dev);
|
|
}
|
|
|
|
/**
|
|
* @brief Get current counter value.
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param ticks Pointer to where to store the current counter value
|
|
*
|
|
* @retval 0 If successful.
|
|
* @retval Negative error code on failure getting the counter value
|
|
*/
|
|
__syscall int counter_get_value(struct device *dev, u32_t *ticks);
|
|
|
|
static inline int z_impl_counter_get_value(struct device *dev, u32_t *ticks)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return api->get_value(dev, ticks);
|
|
}
|
|
|
|
/**
|
|
* @brief Set a single shot alarm on a channel.
|
|
*
|
|
* After expiration alarm can be set again, disabling is not needed. When alarm
|
|
* expiration handler is called, channel is considered available and can be
|
|
* set again in that context.
|
|
*
|
|
* @note API is not thread safe.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param chan_id Channel ID.
|
|
* @param alarm_cfg Alarm configuration.
|
|
*
|
|
* @retval 0 If successful.
|
|
* @retval -ENOTSUP if request is not supported (device does not support
|
|
* interrupts or requested channel).
|
|
* @retval -EINVAL if alarm settings are invalid.
|
|
* @retval -ETIME if absolute alarm was set too late.
|
|
*/
|
|
__syscall int counter_set_channel_alarm(struct device *dev, u8_t chan_id,
|
|
const struct counter_alarm_cfg *alarm_cfg);
|
|
|
|
static inline int z_impl_counter_set_channel_alarm(struct device *dev,
|
|
u8_t chan_id, const struct counter_alarm_cfg *alarm_cfg)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
if (chan_id >= counter_get_num_of_channels(dev)) {
|
|
return -ENOTSUP;
|
|
}
|
|
|
|
return api->set_alarm(dev, chan_id, alarm_cfg);
|
|
}
|
|
|
|
/**
|
|
* @brief Cancel an alarm on a channel.
|
|
*
|
|
* @note API is not thread safe.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param chan_id Channel ID.
|
|
*
|
|
* @retval 0 If successful.
|
|
* @retval -ENOTSUP if request is not supported or the counter was not started
|
|
* yet.
|
|
*/
|
|
__syscall int counter_cancel_channel_alarm(struct device *dev, u8_t chan_id);
|
|
|
|
static inline int z_impl_counter_cancel_channel_alarm(struct device *dev,
|
|
u8_t chan_id)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
if (chan_id >= counter_get_num_of_channels(dev)) {
|
|
return -ENOTSUP;
|
|
}
|
|
|
|
return api->cancel_alarm(dev, chan_id);
|
|
}
|
|
|
|
/**
|
|
* @brief Set counter top value.
|
|
*
|
|
* Function sets top value and optionally resets the counter to 0 or top value
|
|
* depending on counter direction. On turnaround, counter can be reset and
|
|
* optional callback is periodically called. Top value can only be changed when
|
|
* there is no active channel alarm.
|
|
*
|
|
* @ref COUNTER_TOP_CFG_DONT_RESET prevents counter reset. When counter is
|
|
* running while top value is updated, it is possible that counter progresses
|
|
* outside the new top value. In that case, error is returned and optionally
|
|
* driver can reset the counter (see @ref COUNTER_TOP_CFG_RESET_WHEN_LATE).
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param cfg Configuration. Cannot be NULL.
|
|
*
|
|
* @retval 0 If successful.
|
|
* @retval -ENOTSUP if request is not supported (e.g. top value cannot be
|
|
* changed or counter cannot/must be reset during top value
|
|
update).
|
|
* @retval -EBUSY if any alarm is active.
|
|
* @retval -ETIME if @ref COUNTER_TOP_CFG_DONT_RESET was set and new top value
|
|
* is smaller than current counter value (counter counting up).
|
|
*/
|
|
__syscall int counter_set_top_value(struct device *dev,
|
|
const struct counter_top_cfg *cfg);
|
|
|
|
static inline int z_impl_counter_set_top_value(struct device *dev,
|
|
const struct counter_top_cfg
|
|
*cfg)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
if (cfg->ticks > counter_get_max_top_value(dev)) {
|
|
return -EINVAL;
|
|
}
|
|
|
|
return api->set_top_value(dev, cfg);
|
|
}
|
|
|
|
/**
|
|
* @brief Function to get pending interrupts
|
|
*
|
|
* The purpose of this function is to return the interrupt
|
|
* status register for the device.
|
|
* This is especially useful when waking up from
|
|
* low power states to check the wake up source.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @retval 1 if any counter interrupt is pending.
|
|
* @retval 0 if no counter interrupt is pending.
|
|
*/
|
|
__syscall int counter_get_pending_int(struct device *dev);
|
|
|
|
static inline int z_impl_counter_get_pending_int(struct device *dev)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return api->get_pending_int(dev);
|
|
}
|
|
|
|
/**
|
|
* @brief Function to retrieve current top value.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @return Top value.
|
|
*/
|
|
__syscall u32_t counter_get_top_value(struct device *dev);
|
|
|
|
static inline u32_t z_impl_counter_get_top_value(struct device *dev)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return api->get_top_value(dev);
|
|
}
|
|
|
|
/**
|
|
* @brief Function to retrieve maximum relative value that can be set by @ref
|
|
* counter_set_channel_alarm.
|
|
*
|
|
* @param[in] dev Pointer to the device structure for the driver instance.
|
|
*
|
|
* @return Max alarm value.
|
|
*/
|
|
__deprecated __syscall u32_t counter_get_max_relative_alarm(struct device *dev);
|
|
|
|
static inline u32_t z_impl_counter_get_max_relative_alarm(struct device *dev)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return api->get_max_relative_alarm(dev);
|
|
}
|
|
|
|
/**
|
|
* @brief Set guard period in counter ticks.
|
|
*
|
|
* Setting non-zero guard period enables detection of setting absolute alarm
|
|
* too late. It limits how far in the future absolute alarm can be set.
|
|
*
|
|
* Detection of too late setting is vital since if it is not detected alarm
|
|
* is delayed by full period of the counter (up to 32 bits). Because of the
|
|
* wrapping, it is impossible to distinguish alarm which is short in the past
|
|
* from alarm which is targeted to expire after full counter period. In order to
|
|
* detect too late setting, longest possible alarm is limited. Absolute value
|
|
* cannot exceed: (now + top_value - guard_period) % top_value.
|
|
*
|
|
* Guard period depends on application and counter frequency. If it is expected
|
|
* that absolute alarms setting might be delayed then guard period should
|
|
* exceed maximal potential delay. If use case allows, guard period can be set
|
|
* very high (e.g. half of the counter top value).
|
|
*
|
|
* After initialization guard period is set to 0 and late detection is disabled.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param ticks Guard period in counter ticks.
|
|
* @param flags See @ref COUNTER_GUARD_PERIOD_FLAGS.
|
|
*
|
|
* @retval 0 if successful.
|
|
* @retval -ENOTSUP if function or flags are not supported.
|
|
* @retval -EINVAL if ticks value is invalid.
|
|
*/
|
|
__syscall int counter_set_guard_period(struct device *dev, u32_t ticks,
|
|
u32_t flags);
|
|
|
|
static inline int z_impl_counter_set_guard_period(struct device *dev,
|
|
u32_t ticks, u32_t flags)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
if (!api->set_guard_period) {
|
|
return -ENOTSUP;
|
|
}
|
|
|
|
return api->set_guard_period(dev, ticks, flags);
|
|
}
|
|
|
|
/**
|
|
* @brief Return guard period.
|
|
*
|
|
* See @ref counter_set_guard_period.
|
|
*
|
|
* @param dev Pointer to the device structure for the driver instance.
|
|
* @param flags See @ref COUNTER_GUARD_PERIOD_FLAGS.
|
|
*
|
|
* @return Guard period given in counter ticks or 0 if function or flags are
|
|
* not supported.
|
|
*/
|
|
__syscall u32_t counter_get_guard_period(struct device *dev, u32_t flags);
|
|
|
|
static inline u32_t z_impl_counter_get_guard_period(struct device *dev,
|
|
u32_t flags)
|
|
{
|
|
const struct counter_driver_api *api =
|
|
(struct counter_driver_api *)dev->driver_api;
|
|
|
|
return (api->get_guard_period) ? api->get_guard_period(dev, flags) : 0;
|
|
}
|
|
|
|
/* Deprecated counter callback. */
|
|
typedef void (*counter_callback_t)(struct device *dev, void *user_data);
|
|
|
|
/* Deprecated counter read function. Use counter_get_value() instead. */
|
|
__deprecated static inline u32_t counter_read(struct device *dev)
|
|
{
|
|
u32_t ticks;
|
|
|
|
if (counter_get_value(dev, &ticks) == 0) {
|
|
return ticks;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
/**
|
|
* @}
|
|
*/
|
|
|
|
#include <syscalls/counter.h>
|
|
|
|
#endif /* ZEPHYR_INCLUDE_DRIVERS_COUNTER_H_ */
|