K 10 svn:author V 3 phk K 8 svn:date V 27 2001-05-06T17:40:34.000000Z K 7 svn:log V 51 Remove unneeded devfs_badop() Noticed by: rwatson END