| /* | 
 |  * Virtio vhost-user GPU Device | 
 |  * | 
 |  * Copyright Red Hat, Inc. 2013-2018 | 
 |  * | 
 |  * Authors: | 
 |  *     Dave Airlie <airlied@redhat.com> | 
 |  *     Gerd Hoffmann <kraxel@redhat.com> | 
 |  *     Marc-André Lureau <marcandre.lureau@redhat.com> | 
 |  * | 
 |  * This work is licensed under the terms of the GNU GPL, version 2 or later. | 
 |  * See the COPYING file in the top-level directory. | 
 |  */ | 
 |  | 
 | #ifndef VUGPU_VIRGL_H | 
 | #define VUGPU_VIRGL_H | 
 |  | 
 | #include "vugpu.h" | 
 |  | 
 | bool vg_virgl_init(VuGpu *g); | 
 | uint32_t vg_virgl_get_num_capsets(void); | 
 | void vg_virgl_process_cmd(VuGpu *vg, struct virtio_gpu_ctrl_command *cmd); | 
 | void vg_virgl_update_cursor_data(VuGpu *g, uint32_t resource_id, | 
 |                                  gpointer data); | 
 |  | 
 | #endif |