void vrend_report_buffer_error(struct vrend_context *ctx, int cmd)
{
   report_context_error(ctx, VIRGL_ERROR_CTX_ILLEGAL_CMD_BUFFER, cmd);
}

The product does not release a resource after its effective lifetime has ended, i.e., after the resource is no longer needed.