static QPCIBus *pci_test_start(int socket)

{

    char *cmdline;



    cmdline = g_strdup_printf("-netdev socket,fd=%d,id=hs0 -device "

                              "virtio-net-pci,netdev=hs0", socket);

    qtest_start(cmdline);

    g_free(cmdline);



    return qpci_init_pc(NULL);

}

static QPCIBus *pci_test_start(int socket)

{

    char *cmdline;



    cmdline = g_strdup_printf("-netdev socket,fd=%d,id=hs0 -device "

                              "virtio-net-pci,netdev=hs0", socket);

    qtest_start(cmdline);

    g_free(cmdline);



    return qpci_init_pc(NULL);

}

static QPCIBus *FUNC_0(int socket)

{

    char *VAR_0;



    VAR_0 = g_strdup_printf("-netdev socket,fd=%d,id=hs0 -device "

                              "virtio-net-pci,netdev=hs0", socket);

    qtest_start(VAR_0);

    g_free(VAR_0);



    return qpci_init_pc(NULL);

}

static QPCIBus *FUNC_0(int socket)
{ char *VAR_0; VAR_0 = g_strdup_printf("-netdev socket,fd=%d,id=hs0 -device "
"virtio-net-pci,netdev=hs0", socket); qtest_start(VAR_0); g_free(VAR_0); return qpci_init_pc(NULL); }