static int pc_boot_set(void *opaque, const char *boot_device)

{

    return set_boot_dev(opaque, boot_device);

}

static int pc_boot_set(void *opaque, const char *boot_device)

{

    return set_boot_dev(opaque, boot_device);

}

static int FUNC_0(void *VAR_0, const char *VAR_1)

{

    return set_boot_dev(VAR_0, VAR_1);

}

static int FUNC_0(void *VAR_0, const char *VAR_1)
{ return set_boot_dev(VAR_0, VAR_1); }