From nobody Sat Feb 7 15:35:08 2026 Received: from mail-pl1-f195.google.com (mail-pl1-f195.google.com [209.85.214.195]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 22DA42FD69D for ; Tue, 30 Dec 2025 07:54:05 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.214.195 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1767081247; cv=none; b=rQTQlymOyThrAeLR+u+rerw6KVURCP/QzciUc5jn+ynmvf+Yj4wUzgyW9UPdYMiaW0eUT2tbrjh6VRO/cu57T2YT7B2+JPVM72FpGhOhtDCwIWhnx8wAOkC/yAWeZacgm9lvYncYBCcrNR8i+sXJ4RWhmQMTeilnOL/RK7BFbe0= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1767081247; c=relaxed/simple; bh=5eD06zob/D9LHwNQsW0DvZpce2cZGwt69NNDj+Fj/T4=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version; b=QlxmbU++kLdkWZPvGFRzQFzFqC5Eo8anGwGEtc0C98eIcjm+lYC9LhrlzjO5WvjjbtWp3DuYPZB25Lw4dkcjPfhUHmuQy8Q6LhGLB9vI3it9MEPfYmA1gCTej7XZI0bnemIdtOKCk5elRZdQz7amEFRCOvWvtjR+ZXxGWPpMSR0= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=TEKgiEB9; arc=none smtp.client-ip=209.85.214.195 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="TEKgiEB9" Received: by mail-pl1-f195.google.com with SMTP id d9443c01a7336-2a0833b5aeeso133254885ad.1 for ; Mon, 29 Dec 2025 23:54:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1767081245; x=1767686045; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=7os5OC55GGJzDa7FAMW/NGt0JBTgBs/c+BCSnBdv/IM=; b=TEKgiEB99iipdNBQ4RkYmK8EIs2HumvoBi5NrjoXZNmsp3POCoTQlQ+ZjPS9qA+6Ra 3ktTiiT/kbCAJ0XbHJBvqtXi4/FzcamFAiIK3okhlddwuaDlFT8UzwnQczCdcKjX6a9T weKjbAFh8hpjCQPnxBO4mbgfak5CVRbz6mVvSbFXv+9MoewO+0dtTQ3KHFJHPw176Jop gwNEX7fFHJ3cVxMys1tqHBPyyR4vYgbY2nT6nucLYcpH70MOtm+Zs/ylgtcj5bYAKtqe 3z5ElQsa8f0xSsUpFQzonMAXvf/FCAesWkjVleYVnSvarpdXjJxGwxXnjSogUSlJTSSx S49g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1767081245; x=1767686045; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=7os5OC55GGJzDa7FAMW/NGt0JBTgBs/c+BCSnBdv/IM=; b=c520F8ACmIqyavrNfLj71B8cTdrac8vypbAx1bcQvfHr9MRd7lDrUehtdAaMlIAYdt BpXadhn/sGm2J8hhfyi4bahxtOuyXgbnlIJBv5VBnSbDFz/23bjgV5ULKjWVG8nwAsqg y3aan53CDt8pvfWERZp4D8sKqZRo9zTK5E68AO4tXDgNKg5hkjBOqcfQ0L0stC6sqoaK lWxgXuSje9Wf5vmuR63IsVmxArjDF0CiX0UVqk7cL2RqP46loFZ8VPURSLPLTAjq4gGd Ng/8VnwceYX0QggXVbXCrolN9S+fH1U2gVd0s940oAan6zqdRY8sx/Ji3g1EOWFt3L8M DG6A== X-Forwarded-Encrypted: i=1; AJvYcCV5VtXyEoj0JaAftNcEkRmspLrD3AYvnnXYksVgsnDwQdBW2nVqNtI3yVG4kG28WtCVdDDbi1Lno108uW8=@vger.kernel.org X-Gm-Message-State: AOJu0YzTAt95zSzWcX4VRMkwAsLwHNREYVr4tdf6mUSL7GJ61RoMFYSL RkYfzSVXVuyzvYOvwN0hBBE5BYePJ99MrR2Zj9YiMHDxUHPd/Nciv6cZ X-Gm-Gg: AY/fxX5tXkHE7jO9GwJilX9Oa2Cye7dn6L1Z2qEBSfi10zUo002hJMpF7JGj0kO1h/p 4YySMi8FaV4J/3OLE51j1bSHUZIuu3JEbfZXkad3LBIS9OkDLih7LAzb9dIMTwxYRGf7yh7OLEA zNQY5ab9sV6oRCHMMYYP/0pF0iXeDBlqqKMmIhODP9/qFX/18IS2l9gMBYOliNbgaHeBysjcnlM JfM21PmJEB4PAlZXoRxx0X5fcxFc/5yYR92MYfxJ0wPRAjYG7FI1899bEcjU4Wvo2PoI0oJoZ25 pHrbyEFXcvYVHPgXQRacWLr7NxN3QjyzKnLo9vM+lLTvDtukP2KY3DWLtmFL/bVh/Ds4N7bGqm/ MtvvfCjl3/OXXnFPuc8EbnzAp8IgUfxf9Cpjukc4O2gr8iQD3OwBTumEsnVkRcEMRRDq8Q5Ynvf 2tjH0DBJT6WzqMaq0zcA/hqlXxn/nkmvBWubOy0g== X-Google-Smtp-Source: AGHT+IFtWC9WPMb+9oOxaBV0+ZKrSS304gwoqs5fatcXARisl8jyMz1sFFUkXoe/ySBZSSgHGGwhBg== X-Received: by 2002:a17:903:1b65:b0:297:e69d:86ac with SMTP id d9443c01a7336-2a2f2836516mr331137935ad.39.1767081245424; Mon, 29 Dec 2025 23:54:05 -0800 (PST) Received: from golem.. ([223.187.107.249]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-7ff7dfab836sm31574786b3a.36.2025.12.29.23.54.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 29 Dec 2025 23:54:05 -0800 (PST) From: Shubham Sharma To: rostedt@goodmis.org, gmonaco@redhat.com Cc: linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org, Shubham Sharma Subject: [PATCH v2] rv: Fix documentation reference in da_monitor.h Date: Tue, 30 Dec 2025 13:23:37 +0530 Message-ID: <20251230075337.11993-1-slopixelz@gmail.com> X-Mailer: git-send-email 2.43.0 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Update documentation reference to reflect the file rename. Monitor synthesis documentation was renamed in commit f40a7c060207 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion") from da_monitor_synthesis.rst to monitor_synthesis.rst. Signed-off-by: Shubham Sharma Reviewed-by: Gabriele Monaco --- v2: Removed backslashes as suggested by Gabriele Monaco include/rv/da_monitor.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/rv/da_monitor.h b/include/rv/da_monitor.h index 0cef64366538..810cfb140131 100644 --- a/include/rv/da_monitor.h +++ b/include/rv/da_monitor.h @@ -8,7 +8,7 @@ * The dot2k tool is available at tools/verification/dot2k/ * * For further information, see: - * Documentation/trace/rv/da_monitor_synthesis.rst + * Documentation/trace/rv/monitor_synthesis.rst */ =20 #include --=20 2.43.0