Add To_PWM (GPIO_Pin)

Author: JeremyGrosser

src/devices/RP2040/rp-pwm.adb

@@ -20,11 +20,16 @@ package body RP.PWM is
       Initialized := True;
    end Initialize;
 
+   function To_PWM
+      (Pin : RP.GPIO.GPIO_Pin)
+      return PWM_Point
+   is ((Slice   => PWM_Slice (Shift_Right (UInt32 (Pin), 1) and 2#111#),
+        Channel => PWM_Channel'Val (UInt32 (Pin) and 1)));
+
    function To_PWM
       (GPIO : RP.GPIO.GPIO_Point)
       return PWM_Point
-   is ((Slice   => PWM_Slice (Shift_Right (UInt32 (GPIO.Pin), 1) and 2#111#),
-        Channel => PWM_Channel'Val (UInt32 (GPIO.Pin) and 1)));
+   is (To_PWM (GPIO.Pin));
 
    procedure Enable
       (Slice : PWM_Slice)

src/devices/RP2040/rp-pwm.ads

@@ -50,6 +50,10 @@ is
       (GPIO : RP.GPIO.GPIO_Point)
       return PWM_Point;
 
+   function To_PWM
+      (Pin : RP.GPIO.GPIO_Pin)
+      return PWM_Point;
+
    procedure Set_Mode
       (Slice : PWM_Slice;
        Mode  : PWM_Divider_Mode)

tests_rp2350/src/i2cm_tests.adb

@@ -12,8 +12,8 @@ with HAL; use HAL;
 
 package body I2CM_Tests is
 
-   I2CM0_SDA : aliased RP.GPIO.GPIO_Point := (Pin => 0);
-   I2CM0_SCL : aliased RP.GPIO.GPIO_Point := (Pin => 1);
+   I2CM0_SDA : constant RP.GPIO.GPIO_Point := (Pin => 0);
+   I2CM0_SCL : constant RP.GPIO.GPIO_Point := (Pin => 1);
    I2CM0 : RP.I2C_Master.I2C_Master_Port renames RP.Device.I2CM_0;
 
    Target_Addr : constant I2C_Address := 2#1010_0000#; --  24FC64F with A0,A1,A2=GND