GType device_get_type();