Searched refs:convert_dev_id (Results 1 – 1 of 1) sorted by relevance
274 static char *convert_dev_id(u32 dev_id) in convert_dev_id() function320 printf("\tDevice ID: %s\n", convert_dev_id(info_ptr.device_id)); in print_device_info()