Faulty parameter check in 'hardware/pwm.h'

[newbrain]

A minor fault in parameter checking for pwm_irqn_get_status_mask().

Line 764 of hardware/pwm.h reads:

pico-sdk/src/rp2_common/hardware_pwm/include/hardware/pwm.h

Line 764 in efe2103

invalid_params_if(HARDWARE_PWM, irq_index >= NUM_DMA_IRQS);

The check should be against NUM_PWM_IRQS (2 for RP2350, 1 for RP2040) instead of NUM_DMA_IRQS (4 for RP2350, 2 for RP2040), as all the other similar ones.

SDK version: 2.0.0
The issue is still present in main and develop branches as of today.

[kilograham]

merged into develop