static void xenfv_machine_options(MachineClass *m)

{

    pc_common_machine_options(m);

    m->desc = "Xen Fully-virtualized PC";

    m->max_cpus = HVM_MAX_VCPUS;

    m->default_machine_opts = "accel=xen";

    m->hot_add_cpu = pc_hot_add_cpu;

}

static void xenfv_machine_options(MachineClass *m)

{

    pc_common_machine_options(m);

    m->desc = "Xen Fully-virtualized PC";

    m->max_cpus = HVM_MAX_VCPUS;

    m->default_machine_opts = "accel=xen";

    m->hot_add_cpu = pc_hot_add_cpu;

}

static void FUNC_0(MachineClass *VAR_0)

{

    pc_common_machine_options(VAR_0);

    VAR_0->desc = "Xen Fully-virtualized PC";

    VAR_0->max_cpus = HVM_MAX_VCPUS;

    VAR_0->default_machine_opts = "accel=xen";

    VAR_0->hot_add_cpu = pc_hot_add_cpu;

}

static void FUNC_0(MachineClass *VAR_0)
{ pc_common_machine_options(VAR_0); VAR_0->desc = "Xen Fully-virtualized PC"; VAR_0->max_cpus = HVM_MAX_VCPUS; VAR_0->default_machine_opts = "accel=xen"; VAR_0->hot_add_cpu = pc_hot_add_cpu; }