K 10 svn:author V 3 bde K 8 svn:date V 27 1999-12-23T17:39:45.000000Z K 7 svn:log V 91 Fixed wrong function types (the device_add_child() family returns a device_t, not an int). END