#ifdef CONFIG_EFI_PARTITION
/* disk/part_efi.c */
int get_partition_info_efi (block_dev_desc_t * dev_desc, int part, disk_partition_t *info);
+int get_partition_info_efi_with_partnum(block_dev_desc_t * dev_desc, int part, disk_partition_t * info, unsigned long total, unsigned long sdidx, int sdpart, disk_partition_t *sdinfo);
int get_partition_info_by_name_efi(block_dev_desc_t * dev_desc, wchar_t* partition_name,disk_partition_t * info);
int get_partition_num_by_name_efi(block_dev_desc_t * dev_desc, const char *partition_name);
void print_part_efi (block_dev_desc_t *dev_desc);