#ifndef GRUB_BIOSNUM_MACHINE_HEADER
#define GRUB_BIOSNUM_MACHINE_HEADER 1
extern int (*grub_get_root_biosnumber) (void);
#endif