static void vexpress_a15_init(ram_addr_t ram_size,
const char *boot_device,
const char *kernel_filename,
const char *kernel_cmdline,
const char *initrd_filename,
const char *cpu_model)
{
vexpress_common_init(&a15_daughterboard,
ram_size, boot_device, kernel_filename,
kernel_cmdline, initrd_filename, cpu_model);
}
static void vexpress_a15_init(QEMUMachineInitArgs *args)
{
vexpress_common_init(&a15_daughterboard, args);
}
static void vexpress_a15_init(MachineState *machine)
{
vexpress_common_init(&a15_daughterboard, machine);
}