1 2 3 4 5 6
#ifndef GRUB_BIOSNUM_MACHINE_HEADER #define GRUB_BIOSNUM_MACHINE_HEADER 1 extern int (*grub_get_root_biosnumber) (void); #endif