1.1 --- a/pkg/devices/lib/spi/include/spi-gpio.h Fri Nov 03 19:58:11 2023 +0100
1.2 +++ b/pkg/devices/lib/spi/include/spi-gpio.h Tue Nov 07 19:20:32 2023 +0100
1.3 @@ -19,11 +19,11 @@
1.4 * Boston, MA 02110-1301, USA
1.5 */
1.6
1.7 +#pragma once
1.8 +
1.9 #include <l4/devices/gpio.h>
1.10 #include <stdint.h>
1.11
1.12 -#pragma once
1.13 -
1.14
1.15
1.16 #ifdef __cplusplus
1.17 @@ -38,15 +38,13 @@
1.18 int _data_pin;
1.19 Hw::Gpio_chip *_enable_device;
1.20 int _enable_pin;
1.21 - uint32_t _frequency;
1.22 + uint64_t _frequency;
1.23
1.24 public:
1.25 - /* Associate the device with a particular memory region. */
1.26 -
1.27 explicit Spi_gpio(Hw::Gpio_chip *clock_device, int clock_pin,
1.28 Hw::Gpio_chip *data_device, int data_pin,
1.29 Hw::Gpio_chip *enable_device, int enable_pin,
1.30 - uint32_t frequency = 0);
1.31 + uint64_t frequency = 0);
1.32
1.33 void send(int bytes, const uint8_t data[]);
1.34 };
1.35 @@ -62,7 +60,7 @@
1.36 void *spi_gpio_get_channel(void *clock_chip, int clock_pin,
1.37 void *data_chip, int data_pin,
1.38 void *enable_chip, int enable_pin,
1.39 - uint32_t frequency);
1.40 + uint64_t frequency);
1.41
1.42 void spi_gpio_send(void *channel, int bytes, const uint8_t data[]);
1.43