#include <stdio.h> | |
#include <grub/util/deviceiter.h> | |
void | |
grub_util_emit_devicemap_entry (FILE *fp, char *name, int is_floppy, | |
int *num_fd, int *num_hd) | |
{ | |
if (is_floppy) | |
fprintf (fp, "(fd%d)\t%s\n", (*num_fd)++, name); | |
else | |
fprintf (fp, "(hd%d)\t%s\n", (*num_hd)++, name); | |
} |