171 |
grub_rescue_print_disks (const char *name) |
grub_rescue_print_disks (const char *name) |
172 |
{ |
{ |
173 |
grub_device_t dev; |
grub_device_t dev; |
174 |
auto int print_partition (const grub_partition_t p); |
auto int print_partition (grub_disk_t disk, const grub_partition_t p); |
175 |
|
|
176 |
int print_partition (const grub_partition_t p) |
int print_partition (grub_disk_t disk __attribute__ ((unused)), |
177 |
|
const grub_partition_t p) |
178 |
{ |
{ |
179 |
char *pname = grub_partition_get_name (p); |
char *pname = grub_partition_get_name (p); |
180 |
|
|