172                                       const XtfpgaBoardDesc *board,  in xtfpga_flash_init()  argument
180                          board->flash->size / board->flash->sector_size);  in xtfpga_flash_init()
181     qdev_prop_set_uint64(dev, "sector-length", board->flash->sector_size);  in xtfpga_flash_init()
187     memory_region_add_subregion(address_space, board->flash->base,  in xtfpga_flash_init()
223 static void xtfpga_init(const XtfpgaBoardDesc *board, MachineState *machine)  in xtfpga_init()  argument
298     memory_region_add_subregion(system_memory, board->io[0], system_io);  in xtfpga_init()
299     if (board->io[1]) {  in xtfpga_init()
304         memory_region_add_subregion(system_memory, board->io[1], io);  in xtfpga_init()
314         flash = xtfpga_flash_init(system_io, board, dinfo, TARGET_BIG_ENDIAN);  in xtfpga_init()
322             board->sram_size;  in xtfpga_init()
456             if (board->flash->size - board->flash->boot_base < size) {  in xtfpga_init()
457                 size = board->flash->size - board->flash->boot_base;  in xtfpga_init()
461                                      flash_mr, board->flash->boot_base, size);  in xtfpga_init()