static AHCIQState *ahci_boot(void)

{

    AHCIQState *s;

    const char *cli;



    s = g_malloc0(sizeof(AHCIQState));



    cli = "-drive if=none,id=drive0,file=%s,cache=writeback,serial=%s"

        ",format=raw"

        " -M q35 "

        "-device ide-hd,drive=drive0 "

        "-global ide-hd.ver=%s";

    s->parent = qtest_pc_boot(cli, tmp_path, "testdisk", "version");




    /* Verify that we have an AHCI device present. */

    s->dev = get_ahci_device(&s->fingerprint);



    return s;

}
static AHCIQState *ahci_boot(void)

{

    AHCIQState *s;

    const char *cli;



    s = g_malloc0(sizeof(AHCIQState));



    cli = "-drive if=none,id=drive0,file=%s,cache=writeback,serial=%s"

        ",format=raw"

        " -M q35 "

        "-device ide-hd,drive=drive0 "

        "-global ide-hd.ver=%s";

    s->parent = qtest_pc_boot(cli, tmp_path, "testdisk", "version");




    

    s->dev = get_ahci_device(&s->fingerprint);



    return s;

}
static AHCIQState *FUNC_0(void)

{

    AHCIQState *s;

    const char *VAR_0;



    s = g_malloc0(sizeof(AHCIQState));



    VAR_0 = "-drive if=none,id=drive0,file=%s,cache=writeback,serial=%s"

        ",format=raw"

        " -M q35 "

        "-device ide-hd,drive=drive0 "

        "-global ide-hd.ver=%s";

    s->parent = qtest_pc_boot(VAR_0, tmp_path, "testdisk", "version");




    

    s->dev = get_ahci_device(&s->fingerprint);



    return s;

}
static AHCIQState *FUNC_0(void)
{ AHCIQState *s; const char *VAR_0; s = g_malloc0(sizeof(AHCIQState)); VAR_0 = "-drive if=none,id=drive0,file=%s,cache=writeback,serial=%s"
",format=raw"
" -M q35 "
"-device ide-hd,drive=drive0 "
"-global ide-hd.ver=%s"; s->parent = qtest_pc_boot(VAR_0, tmp_path, "testdisk", "version"); s->dev = get_ahci_device(&s->fingerprint); return s; }