/* SPARCstation 20 hardware initialisation */ static void ss20_init(int RAM_size, int vga_ram_size, const char *boot_device, DisplayState *ds, const char *kernel_filename, const char *kernel_cmdline, const char *initrd_filename, const char *cpu_model) { sun4m_hw_init(&hwdefs[3], RAM_size, boot_device, ds, kernel_filename, kernel_cmdline, initrd_filename, cpu_model); }
/* SPARCbook hardware initialisation */ static void sbook_init(MachineState *machine) { sun4m_hw_init(&sun4m_hwdefs[8], machine); }
/* SPARCClassic hardware initialisation */ static void scls_init(MachineState *machine) { sun4m_hw_init(&sun4m_hwdefs[7], machine); }
/* SPARCstation 4 hardware initialisation */ static void ss4_init(MachineState *machine) { sun4m_hw_init(&sun4m_hwdefs[6], machine); }
/* SPARCstation LX hardware initialisation */ static void ss_lx_init(MachineState *machine) { sun4m_hw_init(&sun4m_hwdefs[5], machine); }
/* SPARCstation Voyager hardware initialisation */ static void vger_init(MachineState *machine) { sun4m_hw_init(&sun4m_hwdefs[4], machine); }
/* SPARCserver 600MP hardware initialisation */ static void ss600mp_init(MachineState *machine) { sun4m_hw_init(&sun4m_hwdefs[2], machine); }