static void virgl_cmd_get_capset_info(VirtIOGPU *g,

                                      struct virtio_gpu_ctrl_command *cmd)

{

    struct virtio_gpu_get_capset_info info;

    struct virtio_gpu_resp_capset_info resp;



    VIRTIO_GPU_FILL_CMD(info);




    if (info.capset_index == 0) {

        resp.capset_id = VIRTIO_GPU_CAPSET_VIRGL;

        virgl_renderer_get_cap_set(resp.capset_id,

                                   &resp.capset_max_version,

                                   &resp.capset_max_size);

    } else {

        resp.capset_max_version = 0;

        resp.capset_max_size = 0;

    }

    resp.hdr.type = VIRTIO_GPU_RESP_OK_CAPSET_INFO;

    virtio_gpu_ctrl_response(g, cmd, &resp.hdr, sizeof(resp));

}
static void virgl_cmd_get_capset_info(VirtIOGPU *g,

                                      struct virtio_gpu_ctrl_command *cmd)

{

    struct virtio_gpu_get_capset_info info;

    struct virtio_gpu_resp_capset_info resp;



    VIRTIO_GPU_FILL_CMD(info);




    if (info.capset_index == 0) {

        resp.capset_id = VIRTIO_GPU_CAPSET_VIRGL;

        virgl_renderer_get_cap_set(resp.capset_id,

                                   &resp.capset_max_version,

                                   &resp.capset_max_size);

    } else {

        resp.capset_max_version = 0;

        resp.capset_max_size = 0;

    }

    resp.hdr.type = VIRTIO_GPU_RESP_OK_CAPSET_INFO;

    virtio_gpu_ctrl_response(g, cmd, &resp.hdr, sizeof(resp));

}
static void FUNC_0(VirtIOGPU *VAR_0,

                                      struct virtio_gpu_ctrl_command *VAR_1)

{

    struct virtio_gpu_get_capset_info VAR_2;

    struct virtio_gpu_resp_capset_info VAR_3;



    VIRTIO_GPU_FILL_CMD(VAR_2);




    if (VAR_2.capset_index == 0) {

        VAR_3.capset_id = VIRTIO_GPU_CAPSET_VIRGL;

        virgl_renderer_get_cap_set(VAR_3.capset_id,

                                   &VAR_3.capset_max_version,

                                   &VAR_3.capset_max_size);

    } else {

        VAR_3.capset_max_version = 0;

        VAR_3.capset_max_size = 0;

    }

    VAR_3.hdr.type = VIRTIO_GPU_RESP_OK_CAPSET_INFO;

    virtio_gpu_ctrl_response(VAR_0, VAR_1, &VAR_3.hdr, sizeof(VAR_3));

}
static void FUNC_0(VirtIOGPU *VAR_0,
struct virtio_gpu_ctrl_command *VAR_1)
{ struct virtio_gpu_get_capset_info VAR_2; struct virtio_gpu_resp_capset_info VAR_3; VIRTIO_GPU_FILL_CMD(VAR_2); if (VAR_2.capset_index == 0) { VAR_3.capset_id = VIRTIO_GPU_CAPSET_VIRGL; virgl_renderer_get_cap_set(VAR_3.capset_id,
&VAR_3.capset_max_version,
&VAR_3.capset_max_size); } else { VAR_3.capset_max_version = 0; VAR_3.capset_max_size = 0; } VAR_3.hdr.type = VIRTIO_GPU_RESP_OK_CAPSET_INFO; virtio_gpu_ctrl_response(VAR_0, VAR_1, &VAR_3.hdr, sizeof(VAR_3)); }