1 |
/* |
/* |
2 |
* GRUB -- GRand Unified Bootloader |
* GRUB -- GRand Unified Bootloader |
3 |
* Copyright (C) 2002 Free Software Foundation, Inc. |
* Copyright (C) 2002,2005 Free Software Foundation, Inc. |
4 |
* |
* |
5 |
* GRUB is free software; you can redistribute it and/or modify |
* GRUB is free software; you can redistribute it and/or modify |
6 |
* it under the terms of the GNU General Public License as published by |
* it under the terms of the GNU General Public License as published by |
43 |
int grub_biosdisk_get_num_floppies (void); |
int grub_biosdisk_get_num_floppies (void); |
44 |
|
|
45 |
void grub_biosdisk_init (void); |
void grub_biosdisk_init (void); |
46 |
|
void grub_biosdisk_fini (void); |
47 |
|
|
48 |
#endif /* ! GRUB_BIOSDISK_MACHINE_HEADER */ |
#endif /* ! GRUB_BIOSDISK_MACHINE_HEADER */ |