SPICEGTK_1 {
global:
spice_audio_get;
spice_audio_get_type;
spice_audio_new;
spice_channel_connect;
spice_channel_destroy;
spice_channel_disconnect;
spice_channel_event_get_type;
spice_channel_get_type;
spice_channel_new;
spice_channel_open_fd;
spice_channel_set_capability;
spice_channel_test_capability;
spice_channel_test_common_capability;
spice_channel_type_to_string;
spice_client_error_quark;
spice_cursor_channel_get_type;
spice_display_channel_get_type;
spice_display_get_primary;
spice_display_copy_to_guest;
spice_display_get_grab_keys;
spice_display_get_pixbuf;
spice_display_get_type;
spice_display_key_event_get_type;
spice_display_mouse_ungrab;
spice_display_new;
spice_display_new_with_monitor;
spice_display_paste_from_guest;
spice_display_send_keys;
spice_display_set_grab_keys;
spice_error_get_type;
spice_get_option_group;
spice_grab_sequence_as_string;
spice_grab_sequence_copy;
spice_grab_sequence_free;
spice_grab_sequence_get_type;
spice_grab_sequence_new;
spice_grab_sequence_new_from_string;
spice_g_signal_connect_object;
spice_gtk_session_copy_to_guest;
spice_gtk_session_get;
spice_gtk_session_get_type;
spice_gtk_session_paste_from_guest;
spice_inputs_button_press;
spice_inputs_button_release;
spice_inputs_channel_get_type;
spice_inputs_key_press;
spice_inputs_key_release;
spice_inputs_lock_get_type;
spice_inputs_motion;
spice_inputs_position;
spice_inputs_set_key_locks;
spice_main_agent_test_capability;
spice_main_channel_get_type;
spice_main_clipboard_grab;
spice_main_clipboard_notify;
spice_main_clipboard_release;
spice_main_clipboard_request;
spice_main_clipboard_selection_grab;
spice_main_clipboard_selection_notify;
spice_main_clipboard_selection_release;
spice_main_clipboard_selection_request;
spice_main_send_monitor_config;
spice_main_set_display;
spice_main_set_display_enabled;
spice_playback_channel_get_type;
spice_playback_channel_set_delay;
spice_record_channel_get_type;
spice_record_send_data;
spice_session_connect;
spice_session_disconnect;
spice_session_get_channels;
spice_session_get_read_only;
spice_session_get_type;
spice_session_has_channel_type;
spice_session_migration_get_type;
spice_session_new;
spice_session_open_fd;
spice_session_verify_get_type;
spice_set_session_option;
spice_smartcard_channel_get_type;
spice_smartcard_manager_get;
spice_smartcard_manager_get_type;
spice_smartcard_manager_insert_card;
spice_smartcard_manager_remove_card;
spice_smartcard_reader_get_type;
spice_smartcard_reader_is_software;
spice_usb_device_get_description;
spice_usb_device_get_type;
spice_usb_device_manager_can_redirect_device;
spice_usb_device_manager_connect_device_async;
spice_usb_device_manager_connect_device_finish;
spice_usb_device_manager_disconnect_device;
spice_usb_device_manager_get;
spice_usb_device_manager_get_devices;
spice_usb_device_manager_get_type;
spice_usb_device_manager_is_device_connected;
spice_usb_device_widget_get_type;
spice_usb_device_widget_new;
spice_usbredir_channel_get_type;
spice_util_get_debug;
spice_util_get_version_string;
spice_util_set_debug;
local:
*;
};