drivers: counter: rpi_pico_timer: Add support for RP2350

The RP2350 SoC series contain two timer peripherals. Extend the driver
to support using the second timer (`TIMER1`).

N.b. this requires a fix from the Pico SDK to be patched into
hal_rpi_pico. See raspberrypi/pico-sdk#1949 .

Signed-off-by: Andrew Featherstone <andrew.featherstone@gmail.com>

Author: ajf58

drivers/counter/counter_rpi_pico_timer.c

@@ -95,11 +95,11 @@ static int counter_rpi_pico_timer_set_alarm(const struct device *dev, uint8_t id
 	chdata->callback = alarm_cfg->callback;
 	chdata->user_data = alarm_cfg->user_data;
 
-	missed = hardware_alarm_set_target(id, alarm_at);
+	missed = timer_hardware_alarm_set_target(config->timer, id, alarm_at);
 
 	if (missed) {
 		if (alarm_cfg->flags & COUNTER_ALARM_CFG_EXPIRE_WHEN_LATE) {
-			hardware_alarm_force_irq(id);
+			timer_hardware_alarm_force_irq(config->timer, id);
 		}
 		chdata->callback = NULL;
 		chdata->user_data = NULL;
@@ -113,10 +113,11 @@ static int counter_rpi_pico_timer_cancel_alarm(const struct device *dev, uint8_t
 {
 	struct counter_rpi_pico_timer_data *data = dev->data;
 	struct counter_rpi_pico_timer_ch_data *chdata = &data->ch_data[id];
+	const struct counter_rpi_pico_timer_config *config = dev->config;
 
 	chdata->callback = NULL;
 	chdata->user_data = NULL;
-	hardware_alarm_cancel(id);
+	timer_hardware_alarm_cancel(config->timer, id);
 
 	return 0;
 }
@@ -203,7 +204,8 @@ static DEVICE_API(counter, counter_rpi_pico_driver_api) = {
 
 #define RPI_PICO_TIMER_IRQ_ENABLE(node_id, name, idx)                                              \
 	do {                                                                                       \
-		hardware_alarm_set_callback(idx, counter_rpi_pico_irq_handle);                     \
+		timer_hardware_alarm_set_callback((timer_hw_t *)DT_REG_ADDR(node_id), idx,         \
+						  counter_rpi_pico_irq_handle);                    \
 		IRQ_CONNECT((DT_IRQ_BY_IDX(node_id, idx, irq)),                                    \
 			    (DT_IRQ_BY_IDX(node_id, idx, priority)), hardware_alarm_irq_handler,   \
 			    (DEVICE_DT_GET(node_id)), 0);                                          \