1.1 --- a/pkg/landfall-examples/hw_info/common.h Fri Feb 23 22:53:30 2024 +0100
1.2 +++ b/pkg/landfall-examples/hw_info/common.h Mon Feb 26 16:18:13 2024 +0100
1.3 @@ -102,7 +102,12 @@
1.4 /* GPIO adapter functions. */
1.5
1.6 void *gpio_init(l4_addr_t start, l4_addr_t end, unsigned pins,
1.7 - l4_uint32_t pull_ups, l4_uint32_t pull_downs);
1.8 + l4_uint32_t pull_ups, l4_uint32_t pull_downs);
1.9 +
1.10 +void *gpio_init_shadow(l4_addr_t start, l4_addr_t end, unsigned pins,
1.11 + l4_uint32_t pull_ups, l4_uint32_t pull_downs,
1.12 + l4_addr_t shadow_start, l4_addr_t shadow_end,
1.13 + uint8_t port_number);
1.14
1.15 void gpio_setup(void *gpio, unsigned pin, unsigned mode, int value);
1.16