drivers: counter: change freq to 64 bits

Some counters, such as those that use fractional adders, tick at resolutions
greater than 4294967295Hz. This changes the freq in the common info
to a uint64_t. This retains the existing `counter_get_freq` function which
will still return a 32bit value. This also adds a `counter_get_freq_64`
function to get a 64bit value for the frequency.

Signed-off-by: Ryan McClelland <ryanmcclelland@meta.com>

Author: XenuIsWatching

drivers/counter/counter_ite_it8xxx2.c

@@ -275,7 +275,7 @@ static int counter_it8xxx2_init(const struct device *dev)
 	const struct counter_it8xxx2_config *config = dev->config;
 
 	LOG_DBG("max top value = 0x%08x", config->info.max_top_value);
-	LOG_DBG("frequency = %d", config->info.freq);
+	LOG_DBG("frequency = %llu", config->info.freq);
 	LOG_DBG("channels = %d", config->info.channels);
 
 	/* set the top value of top timer  */

drivers/counter/counter_mcux_gpt.c

@@ -199,7 +199,7 @@ static int mcux_gpt_init(const struct device *dev)
 
 	/* Adjust divider to match expected freq */
 	if (clock_freq % config->info.freq) {
-		LOG_ERR("Cannot Adjust GPT freq to %u\n", config->info.freq);
+		LOG_ERR("Cannot Adjust GPT freq to %llu\n", config->info.freq);
 		LOG_ERR("clock src is %u\n", clock_freq);
 		return -EINVAL;
 	}

drivers/counter/counter_xlnx_axi_timer.c

@@ -294,7 +294,7 @@ static int xlnx_axi_timer_init(const struct device *dev)
 	const struct xlnx_axi_timer_config *config = dev->config;
 
 	LOG_DBG("max top value = 0x%08x", config->info.max_top_value);
-	LOG_DBG("frequency = %d", config->info.freq);
+	LOG_DBG("frequency = %llu", config->info.freq);
 	LOG_DBG("channels = %d", config->info.channels);
 
 	xlnx_axi_timer_write32(dev, config->info.max_top_value, TLR0_OFFSET);

include/zephyr/drivers/counter.h

@@ -225,7 +225,7 @@ struct counter_config_info {
 	/**
 	 * Frequency of the source clock if synchronous events are counted.
 	 */
-	uint32_t freq;
+	uint64_t freq;
 	/**
 	 * Flags (see @ref COUNTER_FLAGS).
 	 */
@@ -264,6 +264,7 @@ typedef int (*counter_api_set_guard_period)(const struct device *dev,
 						uint32_t ticks,
 						uint32_t flags);
 typedef uint32_t (*counter_api_get_freq)(const struct device *dev);
+typedef uint64_t (*counter_api_get_freq_64)(const struct device *dev);
 typedef int (*counter_api_capture_callback_set)(const struct device *dev,
 						uint8_t chan,
 						uint32_t flags,
@@ -290,6 +291,7 @@ __subsystem struct counter_driver_api {
 	counter_api_get_guard_period get_guard_period;
 	counter_api_set_guard_period set_guard_period;
 	counter_api_get_freq get_freq;
+	counter_api_get_freq get_freq_64;
 #ifdef CONFIG_COUNTER_CAPTURE
 	counter_api_capture_callback_set capture_callback_set;
 	counter_api_capture_enable capture_enable;
@@ -349,8 +351,37 @@ static inline uint32_t z_impl_counter_get_frequency(const struct device *dev)
 	const struct counter_driver_api *api =
 				(struct counter_driver_api *)dev->api;
 
-	return api->get_freq ? api->get_freq(dev) : config->freq;
+	if (config->freq) {
+		return config->freq > UINT32_MAX ? UINT32_MAX : (uint32_t)config->freq;
+	} else {
+		return api->get_freq(dev);
+	}
 }
+
+/**
+ * @brief Function to get counter frequency in 64bits.
+ *
+ * @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 uint64_t counter_get_frequency_64(const struct device *dev);
+
+static inline uint64_t z_impl_counter_get_frequency_64(const struct device *dev)
+ {
+	const struct counter_config_info *config =
+			(const struct counter_config_info *)dev->config;
+	const struct counter_driver_api *api =
+				(struct counter_driver_api *)dev->api;
+
+	if (config->freq) {
+		return config->freq;
+	} else {
+		return api->get_freq_64 ? api->get_freq_64(dev) : -ENOTSUP;
+	}
+ }
+
 #ifdef CONFIG_COUNTER_CAPTURE
 __syscall int counter_capture_callback_set(const struct device *dev,
 					   uint8_t chan,