K 10 svn:author V 5 wpaul K 8 svn:date V 27 2005-10-26T20:21:45.000000Z K 7 svn:log V 144 Minor nit: in ntoskrnl_finddev(), only free the 'children' device_t array if device_find_children() actually returned a non-NULL array pointer. END