From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A18EA2765C5 for ; Mon, 12 Jan 2026 09:51:44 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.129.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768211506; cv=none; b=eEATnpfyb2SYMmJQ+PF98l2lHADyzSBPSs+u5VDhZ0zxq6qtZFpzU14evpfZLw/znfTcqjXmRAeRS5dqdCk+GrcvdU+CzMuPU000YOdoeb1r0eN9IBdWn2+FjorH2i83CMprIrgLbToWJR8oxOTylDGE1CjISvdNCFA2XlHp18I= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1768211506; c=relaxed/simple; bh=vxcyJWqaa6aGzfrBnbenLv+P+TTEQAynbO/+LCm15Zc=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version; b=B0pc99J/wRl2cdlNBry0tClGR9P2og25/KfFf7BTuquzv4aUW4Ng4wAxPg0cs6lu2ch4HOjjzDJHbOguwUTMUSEVpNMUMefwgVAKY3Ykvq0wHwynaCl6jHj+3MO2rTyXF2QtJxvdHwxlH8WH1/XzFuzXdo/2owdcHQQZprYQEp8= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=Ld/iRkyA; arc=none smtp.client-ip=170.10.129.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="Ld/iRkyA" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1768211503; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=78YHnbQ5khiAsvya5o0F9dQ3IHNZbQRiNlaLxRb7g7k=; b=Ld/iRkyAfQ+gQhBrsABhLa4//Mi3/uqEQ9+JrFFP4zmQIrf3f8GtZ4F3GUCL8IrF39xVmh 3YKtJ+ghz9dkgcI/MD5iD1IhaxuEl8F7sRwKE8GD/ovZy+QyNRqsoDHiRQ5GPerPId1stZ Qj9EgYxMHwP5u3W5idCHCzhf5Cqm8lE= Received: from mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-609-mFaeyrE3NMOa95rjHgkVDQ-1; Mon, 12 Jan 2026 04:51:42 -0500 X-MC-Unique: mFaeyrE3NMOa95rjHgkVDQ-1 X-Mimecast-MFC-AGG-ID: mFaeyrE3NMOa95rjHgkVDQ_1768211501 Received: from mx-prod-int-03.mail-002.prod.us-west-2.aws.redhat.com (mx-prod-int-03.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.12]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx-prod-mc-03.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS id 04F341955F11; Mon, 12 Jan 2026 09:51:41 +0000 (UTC) Received: from gmonaco-thinkpadt14gen3.rmtit.csb (unknown [10.44.32.81]) by mx-prod-int-03.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTP id 0D00A19560BA; Mon, 12 Jan 2026 09:51:38 +0000 (UTC) From: Gabriele Monaco To: linux-kernel@vger.kernel.org, Steven Rostedt Cc: Gabriele Monaco , Shubham Sharma Subject: [GIT PULL] rv changes for v6.20 (for-next) Date: Mon, 12 Jan 2026 10:50:30 +0100 Message-ID: <20260112095029.282339-2-gmonaco@redhat.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 3.0 on 10.30.177.12 Steve, The following changes since commit 0f61b1860cc3f52aef9036d7235ed1f017632193: Linux 6.19-rc5 (2026-01-11 17:03:14 -1000) are available in the Git repository at: git://git.kernel.org/pub/scm/linux/kernel/git/gmonaco/linux.git rv-6.20-next for you to fetch changes up to 403faa575738a7f92267b2ca2ee56cd1b9373078: rv: Fix documentation reference in da_monitor.h (2026-01-12 07:44:09 +0100) ---------------------------------------------------------------- rv changes for v6.20 (for-next) Summary of changes: - Refactor da_monitor to minimise macros Complete refactor of da_monitor.h to reduce reliance on macros generating functions. Use generic static functions and uses the preprocessor only when strictly necessary (e.g. for tracepoint handlers). The change essentially relies on functions with generic names (e.g. da_handle) instead of monitor-specific as well adding the need to define constant (e.g. MONITOR_NAME, MONITOR_TYPE) before including the header rather than calling macros that would define functions. Also adapt monitors and documentation accordingly. - Cleanup DA code generation scripts Clean up functions in dot2c removing reimplementations of trivial library functions (__buff_to_string) and removing some other unused intermediate steps. - Annotate functions with types in the rvgen python scripts - Remove superfluous assignments and cleanup generated code The rvgen scripts generate a superfluous assignment to 0 for enum variables and don't add commas to the last elements, which is against the kernel coding standards. Change the generation process for a better compliance and slightly simpler logic. - Remove superfluous declarations from generated code The monitor container source files contained a declaration and a definition for the rv_monitor variable. The former is superfluous and was removed. - Fix reference to outdated documentation s/da_monitor_synthesis.rst/monitor_synthesis.rst in comment in da_monitor.h ---------------------------------------------------------------- Gabriele Monaco (8): rv: Refactor da_monitor to minimise macros rv: Cleanup da_monitor after refactor Documentation/rv: Adapt documentation after da_monitor refactoring verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.h verification/rvgen: Annotate DA functions with types verification/dot2c: Remove __buff_to_string() and cleanup verification/dot2c: Remove superfluous enum assignment and add last comma verification/rvgen: Remove unused variable declaration from containers Shubham Sharma (1): rv: Fix documentation reference in da_monitor.h Documentation/trace/rv/monitor_synthesis.rst | 44 +- include/linux/rv.h | 4 + include/rv/automata.h | 132 +-- include/rv/da_monitor.h | 887 ++++++++++----------- kernel/trace/rv/monitors/nrp/nrp.c | 30 +- kernel/trace/rv/monitors/nrp/nrp.h | 22 +- kernel/trace/rv/monitors/opid/opid.c | 40 +- kernel/trace/rv/monitors/opid/opid.h | 24 +- kernel/trace/rv/monitors/rtapp/rtapp.c | 2 - kernel/trace/rv/monitors/sched/sched.c | 2 - kernel/trace/rv/monitors/sco/sco.c | 26 +- kernel/trace/rv/monitors/sco/sco.h | 14 +- kernel/trace/rv/monitors/scpd/scpd.c | 28 +- kernel/trace/rv/monitors/scpd/scpd.h | 14 +- kernel/trace/rv/monitors/snep/snep.c | 28 +- kernel/trace/rv/monitors/snep/snep.h | 18 +- kernel/trace/rv/monitors/snroc/snroc.c | 26 +- kernel/trace/rv/monitors/snroc/snroc.h | 14 +- kernel/trace/rv/monitors/sssw/sssw.c | 38 +- kernel/trace/rv/monitors/sssw/sssw.h | 22 +- kernel/trace/rv/monitors/sts/sts.c | 34 +- kernel/trace/rv/monitors/sts/sts.h | 28 +- kernel/trace/rv/monitors/wip/wip.c | 26 +- kernel/trace/rv/monitors/wip/wip.h | 14 +- kernel/trace/rv/monitors/wwnr/wwnr.c | 28 +- kernel/trace/rv/monitors/wwnr/wwnr.h | 14 +- tools/verification/rvgen/rvgen/automata.py | 20 +- tools/verification/rvgen/rvgen/dot2c.py | 111 +-- tools/verification/rvgen/rvgen/dot2k.py | 26 +- .../rvgen/rvgen/templates/container/main.c | 2 - .../rvgen/rvgen/templates/dot2k/main.c | 25 +- 31 files changed, 835 insertions(+), 908 deletions(-) To: Steven Rostedt Cc: Gabriele Monaco Cc: Shubham Sharma