Home | History | Annotate | Download | only in efiboot

Lines Matching defs:biosdev

68 dev2bios(char *devname, int unit, int *biosdev)
72 *biosdev = 0x80 + unit;
74 *biosdev = 0x80 + get_harddrives() + unit;
82 bios2dev(int biosdev, daddr_t sector, char **devname, int *unit,
87 *unit = biosdev & 0x7f;
96 } else if (biosdev >= 0x80 + get_harddrives()) {
102 (void)biosdisk_findpartition(biosdev, sector, partition, part_name);
156 int biosdev;
297 error = dev2bios(devname, unit, &biosdev);
308 return biosdisk_open(f, biosdev, partition);