On Tue, Nov 5, 2024 at 11:05 PM Philippe Mathieu-Daudé <philmd@xxxxxxxxxx> wrote: > > The machine datasheet mentions the GPIO device as 'xps_gpio'. > Rename it accordingly to easily find its documentation. > > Signed-off-by: Philippe Mathieu-Daudé <philmd@xxxxxxxxxx> Reviewed-by: Alistair Francis <alistair.francis@xxxxxxx> Alistair > --- > hw/microblaze/petalogix_s3adsp1800_mmu.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/hw/microblaze/petalogix_s3adsp1800_mmu.c b/hw/microblaze/petalogix_s3adsp1800_mmu.c > index 37e9a05a62a..581b0411e29 100644 > --- a/hw/microblaze/petalogix_s3adsp1800_mmu.c > +++ b/hw/microblaze/petalogix_s3adsp1800_mmu.c > @@ -124,7 +124,7 @@ petalogix_s3adsp1800_init(MachineState *machine) > sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, ETHLITE_BASEADDR); > sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, irq[ETHLITE_IRQ]); > > - create_unimplemented_device("gpio", GPIO_BASEADDR, 0x10000); > + create_unimplemented_device("xps_gpio", GPIO_BASEADDR, 0x10000); > > microblaze_load_kernel(cpu, ddr_base, ram_size, > machine->initrd_filename, > -- > 2.45.2 > >