|
#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);
|
|
}
|