extern int bootdev_isfloppy(const char *); .