static void test_machine(const void *data)

{

    const testdef_t *test = data;

    char *args;

    char tmpname[] = "/tmp/qtest-boot-serial-XXXXXX";

    int fd;



    fd = mkstemp(tmpname);

    g_assert(fd != -1);



    args = g_strdup_printf("-M %s,accel=tcg -chardev file,id=serial0,path=%s"

                           " -serial chardev:serial0 %s", test->machine,

                           tmpname, test->extra);



    qtest_start(args);

    unlink(tmpname);



    check_guest_output(test, fd);

    qtest_quit(global_qtest);



    g_free(args);

    close(fd);

}

static void test_machine(const void *data)

{

    const testdef_t *test = data;

    char *args;

    char tmpname[] = "/tmp/qtest-boot-serial-XXXXXX";

    int fd;



    fd = mkstemp(tmpname);

    g_assert(fd != -1);



    args = g_strdup_printf("-M %s,accel=tcg -chardev file,id=serial0,path=%s"

                           " -serial chardev:serial0 %s", test->machine,

                           tmpname, test->extra);



    qtest_start(args);

    unlink(tmpname);



    check_guest_output(test, fd);

    qtest_quit(global_qtest);



    g_free(args);

    close(fd);

}

                           " -serial chardev:serial0 %s", test->machine,                            tmpname, test->extra);
static void FUNC_0(const void *VAR_0)

{

    const testdef_t *VAR_1 = VAR_0;

    char *VAR_2;

    char VAR_3[] = "/tmp/qtest-boot-serial-XXXXXX";

    int VAR_4;



    VAR_4 = mkstemp(VAR_3);

    g_assert(VAR_4 != -1);



    VAR_2 = g_strdup_printf("-M %s,accel=tcg -chardev file,id=serial0,path=%s"

                           " -serial chardev:serial0 %s", VAR_1->machine,

                           VAR_3, VAR_1->extra);



    qtest_start(VAR_2);

    unlink(VAR_3);



    check_guest_output(VAR_1, VAR_4);

    qtest_quit(global_qtest);



    g_free(VAR_2);

    close(VAR_4);

}

static void FUNC_0(const void *VAR_0)
{ const testdef_t *VAR_1 = VAR_0; char *VAR_2; char VAR_3[] = "/tmp/qtest-boot-serial-XXXXXX"; int VAR_4; VAR_4 = mkstemp(VAR_3); g_assert(VAR_4 != -1); VAR_2 = g_strdup_printf("-M %s,accel=tcg -chardev file,id=serial0,path=%s"
" -serial chardev:serial0 %s", VAR_1->machine,
VAR_3, VAR_1->extra); qtest_start(VAR_2); unlink(VAR_3); check_guest_output(VAR_1, VAR_4); qtest_quit(global_qtest); g_free(VAR_2); close(VAR_4); }