void qemu_boot_set(const char *boot_order, Error **errp)

{

    Error *local_err = NULL;



    if (!boot_set_handler) {

        error_setg(errp, "no function defined to set boot device list for"

                         " this architecture");

        return;

    }



    validate_bootdevices(boot_order, &local_err);

    if (local_err) {

        error_propagate(errp, local_err);

        return;

    }



    if (boot_set_handler(boot_set_opaque, boot_order)) {

        error_setg(errp, "setting boot device list failed");

        return;

    }

}

void qemu_boot_set(const char *boot_order, Error **errp)

{

    Error *local_err = NULL;



    if (!boot_set_handler) {

        error_setg(errp, "no function defined to set boot device list for"

                         " this architecture");

        return;

    }



    validate_bootdevices(boot_order, &local_err);

    if (local_err) {

        error_propagate(errp, local_err);

        return;

    }



    if (boot_set_handler(boot_set_opaque, boot_order)) {

        error_setg(errp, "setting boot device list failed");

        return;

    }

}

void FUNC_0(const char *VAR_0, Error **VAR_1)

{

    Error *local_err = NULL;



    if (!boot_set_handler) {

        error_setg(VAR_1, "no function defined to set boot device list for"

                         " this architecture");

        return;

    }



    validate_bootdevices(VAR_0, &local_err);

    if (local_err) {

        error_propagate(VAR_1, local_err);

        return;

    }



    if (boot_set_handler(boot_set_opaque, VAR_0)) {

        error_setg(VAR_1, "setting boot device list failed");

        return;

    }

}

void FUNC_0(const char *VAR_0, Error **VAR_1)
{ Error *local_err = NULL; if (!boot_set_handler) { error_setg(VAR_1, "no function defined to set boot device list for"
" this architecture"); return; } validate_bootdevices(VAR_0, &local_err); if (local_err) { error_propagate(VAR_1, local_err); return; } if (boot_set_handler(boot_set_opaque, VAR_0)) { error_setg(VAR_1, "setting boot device list failed"); return; } }