static void pc_xen_hvm_init(QEMUMachineInitArgs *args)

{

    if (xen_hvm_init() != 0) {

        hw_error("xen hardware virtual machine initialisation failed");

    }

    pc_init_pci(args);

}

static void pc_xen_hvm_init(QEMUMachineInitArgs *args)

{

    if (xen_hvm_init() != 0) {

        hw_error("xen hardware virtual machine initialisation failed");

    }

    pc_init_pci(args);

}

static void FUNC_0(QEMUMachineInitArgs *VAR_0)

{

    if (xen_hvm_init() != 0) {

        hw_error("xen hardware virtual machine initialisation failed");

    }

    pc_init_pci(VAR_0);

}

static void FUNC_0(QEMUMachineInitArgs *VAR_0)
{ if (xen_hvm_init() != 0) { hw_error("xen hardware virtual machine initialisation failed"); } pc_init_pci(VAR_0); }