static QOSState *pci_test_start(int socket)

{

    const char *cmd = "-netdev socket,fd=%d,id=hs0 -device "

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



    return qtest_pc_boot(cmd, socket);

}

static QOSState *pci_test_start(int socket)

{

    const char *cmd = "-netdev socket,fd=%d,id=hs0 -device "

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



    return qtest_pc_boot(cmd, socket);

}

static QOSState *FUNC_0(int socket)

{

    const char *VAR_0 = "-netdev socket,fd=%d,id=hs0 -device "

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



    return qtest_pc_boot(VAR_0, socket);

}

static QOSState *FUNC_0(int socket)
{ const char *VAR_0 = "-netdev socket,fd=%d,id=hs0 -device "
"virtio-net-pci,netdev=hs0"; return qtest_pc_boot(VAR_0, socket); }