> Unnecessary. Note that you can distinguish old and new trivially, by > the expedient of noting that the top 16 bits of old are always > zero. This means that /dev/console (as 0,0) is the only special case > you have to worry about. Some ports (most notably the ARM port) put /dev/console at a different major number, FYI. cgd