1.1 --- a/pkg/landfall-examples/hw_info/x1600.c Fri Feb 23 22:53:30 2024 +0100
1.2 +++ b/pkg/landfall-examples/hw_info/x1600.c Mon Feb 26 16:18:13 2024 +0100
1.3 @@ -182,6 +182,15 @@
1.4 return x1600_gpio_init(start, end, pins, pull_ups, pull_downs);
1.5 }
1.6
1.7 +void *gpio_init_shadow(l4_addr_t start, l4_addr_t end, unsigned pins,
1.8 + l4_uint32_t pull_ups, l4_uint32_t pull_downs,
1.9 + l4_addr_t shadow_start, l4_addr_t shadow_end,
1.10 + uint8_t port_number)
1.11 +{
1.12 + return x1600_gpio_init_shadow(start, end, pins, pull_ups, pull_downs,
1.13 + shadow_start, shadow_end, port_number);
1.14 +}
1.15 +
1.16 void gpio_setup(void *gpio, unsigned pin, unsigned mode, int value)
1.17 {
1.18 x1600_gpio_setup(gpio, pin, mode, value);