K 10 svn:author V 8 hselasky K 8 svn:date V 27 2011-11-22T21:56:55.588791Z K 7 svn:log V 119 Rename device_delete_all_children() into device_delete_children(). Suggested by: jhb @ and marius @ MFC after: 1 week END