910
910
static void spitz_common_init(ram_addr_t ram_size, int vga_ram_size,
911
DisplayState *ds, const char *kernel_filename,
911
const char *kernel_filename,
912
912
const char *kernel_cmdline, const char *initrd_filename,
913
913
const char *cpu_model, enum spitz_model_e model, int arm_id)
971
971
static void spitz_init(ram_addr_t ram_size, int vga_ram_size,
972
const char *boot_device, DisplayState *ds,
972
const char *boot_device,
973
973
const char *kernel_filename, const char *kernel_cmdline,
974
974
const char *initrd_filename, const char *cpu_model)
976
spitz_common_init(ram_size, vga_ram_size, ds, kernel_filename,
976
spitz_common_init(ram_size, vga_ram_size, kernel_filename,
977
977
kernel_cmdline, initrd_filename, cpu_model, spitz, 0x2c9);
980
980
static void borzoi_init(ram_addr_t ram_size, int vga_ram_size,
981
const char *boot_device, DisplayState *ds,
981
const char *boot_device,
982
982
const char *kernel_filename, const char *kernel_cmdline,
983
983
const char *initrd_filename, const char *cpu_model)
985
spitz_common_init(ram_size, vga_ram_size, ds, kernel_filename,
985
spitz_common_init(ram_size, vga_ram_size, kernel_filename,
986
986
kernel_cmdline, initrd_filename, cpu_model, borzoi, 0x33f);
989
989
static void akita_init(ram_addr_t ram_size, int vga_ram_size,
990
const char *boot_device, DisplayState *ds,
990
const char *boot_device,
991
991
const char *kernel_filename, const char *kernel_cmdline,
992
992
const char *initrd_filename, const char *cpu_model)
994
spitz_common_init(ram_size, vga_ram_size, ds, kernel_filename,
994
spitz_common_init(ram_size, vga_ram_size, kernel_filename,
995
995
kernel_cmdline, initrd_filename, cpu_model, akita, 0x2e8);
998
998
static void terrier_init(ram_addr_t ram_size, int vga_ram_size,
999
const char *boot_device, DisplayState *ds,
999
const char *boot_device,
1000
1000
const char *kernel_filename, const char *kernel_cmdline,
1001
1001
const char *initrd_filename, const char *cpu_model)
1003
spitz_common_init(ram_size, vga_ram_size, ds, kernel_filename,
1003
spitz_common_init(ram_size, vga_ram_size, kernel_filename,
1004
1004
kernel_cmdline, initrd_filename, cpu_model, terrier, 0x33f);