1.1 --- a/pkg/landfall-examples/hw_info/x1600.c	Fri Jun 07 16:12:32 2024 +0200
     1.2 +++ b/pkg/landfall-examples/hw_info/x1600.c	Fri Jun 07 16:13:19 2024 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  #include <l4/devices/rtc-x1600.h>
     1.5  #include <l4/devices/spi-gpio.h>
     1.6  #include <l4/devices/spi-hybrid.h>
     1.7 -#include <l4/devices/spi-jz4780.h>
     1.8 +#include <l4/devices/spi-x1600.h>
     1.9  #include <l4/devices/tcu-x1600.h>
    1.10  #include "common.h"
    1.11  
    1.12 @@ -440,13 +440,13 @@
    1.13  
    1.14  void *spi_init(l4_addr_t spi_start, l4_addr_t start, l4_addr_t end, void *cpm)
    1.15  {
    1.16 -  return jz4780_spi_init(spi_start, start, end, cpm);
    1.17 +  return x1600_spi_init(spi_start, start, end, cpm);
    1.18  }
    1.19  
    1.20  void *spi_get_channel(void *spi, uint8_t num, void *channel, uint64_t frequency,
    1.21                        void *control_chip, int control_pin, int control_alt_func)
    1.22  {
    1.23 -  void *ch = jz4780_spi_get_channel(spi, num, channel, frequency);
    1.24 +  void *ch = x1600_spi_get_channel(spi, num, channel, frequency);
    1.25  
    1.26    return spi_hybrid_get_channel(ch, control_chip, control_pin, control_alt_func);
    1.27  }