/* Get the partition info of all the partitions available.  */
int zynq_get_partition_info(u32 image_base_addr, u32 *fsbl_len, struct partition_hdr *part_hdr)
/* Get the partition info of all the partitions available.  */
int zynq_get_partition_info(u32 image_base_addr, u32 *fsbl_len, struct partition_hdr *part_hdr)
{
	u32 parthdroffset;
	*fsbl_len = *((u32 *)(image_base_addr + ZYNQ_IMAGE_FSBL_LEN_OFFSET));
	parthdroffset = *((u32 *)(image_base_addr + ZYNQ_IMAGE_PHDR_OFFSET));
	parthdroffset += image_base_addr;
	memcpy(part_hdr, (u32 *)parthdroffset,
	       (sizeof(struct partition_hdr) * ZYNQ_MAX_PARTITION_NUMBER));
	return 0;
}