RPI: compile errors

Author: pschatzmann

ArduinoCore-Linux/cores/rasperry_pi/HardwareGPIO_RPI.cpp

@@ -224,7 +224,7 @@ unsigned long HardwareGPIO_RPI::pulseInLong(uint8_t pin, uint8_t state,
   return 0;
 }
 
-void HardwareGPIO_RPI::analogWriteFrequency(uint8_t pin, uint32_t freq) {
+void HardwareGPIO_RPI::analogWriteFrequency(pin_size_t pin, uint32_t freq) {
   bool supported = false;
   for (int i = 0; i < 4; ++i) {
     if (pin == pwm_pins[i]) {

ArduinoCore-Linux/cores/rasperry_pi/HardwareGPIO_RPI.h

@@ -19,6 +19,7 @@
 */
 #ifdef USE_RPI
 #include "HardwareGPIO.h"
+#include <map>
 
 
 namespace arduino {
@@ -128,7 +129,7 @@ class HardwareGPIO_RPI : public HardwareGPIO {
   /**
    * @brief Set PWM frequency for a pin.
    */
-  void analogWriteFrequency(uint8_t pin, uint32_t freq);
+  void analogWriteFrequency(pin_size_t pin, uint32_t freq);
 
   /**
    * @brief Set the resolution (number of bits) for analogWrite (PWM output).