1.1 --- a/pkg/landfall-examples/hw_info/jz4780.c Fri Feb 23 22:53:30 2024 +0100
1.2 +++ b/pkg/landfall-examples/hw_info/jz4780.c Mon Feb 26 16:18:13 2024 +0100
1.3 @@ -193,6 +193,15 @@
1.4 return jz4780_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 + (void) shadow_start; (void) shadow_end; (void) port_number;
1.13 + return jz4780_gpio_init(start, end, pins, pull_ups, pull_downs);
1.14 +}
1.15 +
1.16 void gpio_setup(void *gpio, unsigned pin, unsigned mode, int value)
1.17 {
1.18 jz4780_gpio_setup(gpio, pin, mode, value);