1 #include "device.h" 2 3 char *hdd_controller_get_name(int hdd); 4 char *hdd_controller_get_internal_name(int hdd); 5 int hdd_controller_get_flags(int hdd); 6 int hdd_controller_available(int hdd); 7 int hdd_controller_is_mfm(char* internal_name); 8 int hdd_controller_is_ide(char *internal_name); 9 int hdd_controller_is_scsi(char *internal_name); 10 int hdd_controller_has_config(char *internal_name); 11 device_t *hdd_controller_get_device(char *internal_name); 12 int hdd_controller_current_is_mfm(); 13 int hdd_controller_current_is_ide(); 14 int hdd_controller_current_is_scsi(); 15 void hdd_controller_init(char *internal_name); 16 17 extern char hdd_controller_name[16]; 18