On 26.03.2013 15:44, Radosław Szymczyszyn wrote:

> +fail:
> +  return grub_error (GRUB_ERR_BAD_PART_TABLE, "disklabel64 not found");
> +}

There is only one user for this label. Please put this part directly at
where it's used