bios_getopt      2943 arch/i386/i386/machdep.c 		bios_getopt();
bios_getopt       250 arch/i386/include/biosvar.h void bios_getopt(void);