drivers: counter: add PSC3M5 counter driver

- Add a new counter driver implementation based on the PDL for
  Infineon CAT1B devices. This enables support for hardware
  counters on the PSC3M5 platform.
- Add IFX_TCPWM_Counter_DeInit and IFX_TCPWM_Counter_Init
  macros to include/zephyr/drivers/timer/ifx_tcpwm.h
  and sort all of the macros in that file

Signed-off-by: Yurii Lozynskyi <[email protected]>

Author: lozyn888

drivers/counter/CMakeLists.txt

@@ -46,6 +46,7 @@ zephyr_library_sources_ifdef(CONFIG_COUNTER_SMARTBOND_TIMER     counter_smartbon
 zephyr_library_sources_ifdef(CONFIG_COUNTER_MICROCHIP_MCP7940N  rtc_mcp7940n.c)
 zephyr_library_sources_ifdef(CONFIG_COUNTER_ANDES_ATCPIT100     counter_andes_atcpit100.c)
 zephyr_library_sources_ifdef(CONFIG_COUNTER_INFINEON_CAT1       counter_ifx_cat1.c)
+zephyr_library_sources_ifdef(CONFIG_COUNTER_INFINEON_TCPWM      counter_ifx_tcpwm.c)
 zephyr_library_sources_ifdef(CONFIG_ACE_V1X_ART_COUNTER         counter_ace_v1x_art.c)
 zephyr_library_sources_ifdef(CONFIG_ACE_V1X_RTC_COUNTER         counter_ace_v1x_rtc.c)
 zephyr_library_sources_ifdef(CONFIG_COUNTER_NXP_S32_SYS_TIMER   counter_nxp_s32_sys_timer.c)

drivers/counter/Kconfig

@@ -94,6 +94,8 @@ source "drivers/counter/Kconfig.mcux_ctimer"
 
 source "drivers/counter/Kconfig.ifx_cat1"
 
+source "drivers/counter/Kconfig.ifx_tcpwm"
+
 source "drivers/counter/Kconfig.andes_atcpit100"
 
 source "drivers/counter/Kconfig.nxp_s32"

drivers/counter/Kconfig.ifx_tcpwm

@@ -0,0 +1,12 @@
+# Copyright (c) 2025 Infineon Technologies AG,
+# or an affiliate of Infineon Technologies AG.
+#
+# SPDX-License-Identifier: Apache-2.0
+
+config COUNTER_INFINEON_TCPWM
+	bool "Infineon TCPWM counter driver"
+	default y
+	depends on DT_HAS_INFINEON_TCPWM_COUNTER_ENABLED
+	select USE_INFINEON_TIMER
+	help
+	  This option enables the TCPWM counter driver for Infineon devices.