1.1 --- a/pkg/landfall-examples/hw_info/jz4780.c Sat Apr 27 23:46:28 2024 +0200
1.2 +++ b/pkg/landfall-examples/hw_info/jz4780.c Sun Apr 28 18:37:08 2024 +0200
1.3 @@ -187,19 +187,14 @@
1.4
1.5 /* GPIO adapter functions. */
1.6
1.7 -void *gpio_init(l4_addr_t start, l4_addr_t end, unsigned pins,
1.8 - l4_uint32_t pull_ups, l4_uint32_t pull_downs)
1.9 +void *gpio_init(l4_addr_t start, uint8_t port_number)
1.10 {
1.11 - return jz4780_gpio_init(start, end, pins, pull_ups, pull_downs);
1.12 + return jz4780_gpio_init(start, port_number);
1.13 }
1.14
1.15 -void *gpio_init_shadow(l4_addr_t start, l4_addr_t end, unsigned pins,
1.16 - l4_uint32_t pull_ups, l4_uint32_t pull_downs,
1.17 - l4_addr_t shadow_start, l4_addr_t shadow_end,
1.18 - uint8_t port_number)
1.19 +void *gpio_init_shadow(l4_addr_t start, uint8_t port_number)
1.20 {
1.21 - (void) shadow_start; (void) shadow_end; (void) port_number;
1.22 - return jz4780_gpio_init(start, end, pins, pull_ups, pull_downs);
1.23 + return jz4780_gpio_init(start, port_number);
1.24 }
1.25
1.26 void gpio_setup(void *gpio, unsigned pin, unsigned mode, int value)
1.27 @@ -722,15 +717,6 @@
1.28
1.29 /* GPIO definitions. */
1.30
1.31 -struct gpio_port gpio_ports[] = {
1.32 - {0x3fff00ff, 0x00000000},
1.33 - {0xfff0f3fc, 0x000f0c03},
1.34 - {0x0fffffff, 0x00000000},
1.35 - {0xffff4fff, 0x0000b000},
1.36 - {0xf0fff37c, 0x00000483},
1.37 - {0x7fa7f00f, 0x00580ff0},
1.38 -};
1.39 -
1.40 const unsigned int num_gpio_ports = 6;
1.41
1.42 const char gpio_port_labels[] = "ABCDEF";