···182182/*183183 * Convert a name into device number. We accept the following variants:184184 *185185- * 1) device number in hexadecimal represents itself185185+ * 1) <hex_major><hex_minor> device number in hexadecimal represents itself186186+ * no leading 0x, for example b302.186187 * 2) /dev/nfs represents Root_NFS (0xff)187188 * 3) /dev/<disk_name> represents the device number of disk188189 * 4) /dev/<disk_name><decimal> represents the device number