/* Espressif's RTC Timer is actually 48-bits in resolution However, the top value returned is limited to UINT32_MAX as per the counter API.  */
static uint32_t counter_esp32_get_top_value(const struct device *dev)
/* Espressif's RTC Timer is actually 48-bits in resolution However, the top value returned is limited to UINT32_MAX as per the counter API.  */
static uint32_t counter_esp32_get_top_value(const struct device *dev)
{
	const struct counter_config_info *info = dev->config;
	return info->max_top_value;
}