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); }