bios2dev
bios2dev(biosdev, biossector, &default_devname, &default_unit,
void bios2dev(int, daddr_t, char **, int *, int *, const char **);
bios2dev(boot_biosdev, boot_biossector, &default_devname, &default_unit,
bios2dev(boot_biosdev, boot_biossector, &devname, &unit,
void bios2dev(int, daddr_t, char **, int *, int *, const char **);
int bios2dev(int biosdev, char **devname, u_int *unit, u_int sector,
bios2dev(0x40, &default_devname, &default_unit,