/*
 * Copyright 2004, Axel Dörfler, axeld@pinc-software.de.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_BOOT_PLATFORM_BIOS_IA32_BIOS_DRIVE_H
#define KERNEL_BOOT_PLATFORM_BIOS_IA32_BIOS_DRIVE_H


#include <boot/disk_identifier.h>


typedef struct bios_drive {
        struct bios_drive       *next;
        uint16                          drive_number;
        disk_identifier         identifier;
} bios_drive;

#endif  /* KERNEL_BOOT_PLATFORM_BIOS_IA32_BIOS_DRIVE_H */