/* * Convert char major number to device driver name. */