get_driver_name
extern int get_driver_name(int, char *, char *);
if (get_driver_name(is_unique, name_to_major,