K 10 svn:author V 3 kib K 8 svn:date V 27 2011-05-26T00:09:56.979562Z K 7 svn:log V 236 MFC r222086: The protection against the race with dev_rel(), introduced in r163328, should be extended to cover destroy_devl() calls for the children of the destroyed dev. Requested and tested by: Oliver Pinter END