Man pages matching name device_get_children in section 9: