From: Catalin Marinas <catalin.marinas@arm.com>
To: Mark Brown <broonie@kernel.org>
Cc: Will Deacon <will@kernel.org>,
Mark Rutland <mark.rutland@arm.com>,
linux-arm-kernel@lists.infradead.org,
linux-kernel@vger.kernel.org, kernel test robot <lkp@intel.com>
Subject: Re: [PATCH v2] arm64/signal: Silence sparse warning storing GCSPR_EL0
Date: Fri, 13 Dec 2024 16:26:40 +0000 [thread overview]
Message-ID: <Z1xgQGNZzR6h0Uly@arm.com> (raw)
In-Reply-To: <20241211-arm64-gcs-signal-sparse-v2-1-c22f37216135@kernel.org>
On Wed, Dec 11, 2024 at 01:00:35AM +0000, Mark Brown wrote:
> diff --git a/arch/arm64/kernel/signal.c b/arch/arm64/kernel/signal.c
> index 14ac6fdb872b9672e4b16a097f1b577aae8dec50..08d51fabdb9d47c848f14c9b25d6be04f109c2ee 100644
> --- a/arch/arm64/kernel/signal.c
> +++ b/arch/arm64/kernel/signal.c
> @@ -39,7 +39,7 @@
> #ifdef CONFIG_ARM64_GCS
> #define GCS_SIGNAL_CAP(addr) (((unsigned long)addr) & GCS_CAP_ADDR_MASK)
>
> -static bool gcs_signal_cap_valid(u64 addr, u64 val)
> +static bool gcs_signal_cap_valid(unsigned long __user *addr, u64 val)
> {
> return val == GCS_SIGNAL_CAP(addr);
> }
Another personal preference - addresses should be (unsigned long),
pointer to be accessed (... __user *). But we could even scrap this
function, there's a single caller to a one-line function.
> @@ -1094,15 +1094,15 @@ static int gcs_restore_signal(void)
> /*
> * Check that the cap is the actual GCS before replacing it.
> */
> - if (!gcs_signal_cap_valid((u64)gcspr_el0, cap))
> + if (!gcs_signal_cap_valid(gcspr_el0, cap))
> return -EINVAL;
>
> /* Invalidate the token to prevent reuse */
> - put_user_gcs(0, (__user void*)gcspr_el0, &ret);
> + put_user_gcs(0, gcspr_el0, &ret);
> if (ret != 0)
> return -EFAULT;
>
> - write_sysreg_s(gcspr_el0 + 1, SYS_GCSPR_EL0);
> + write_sysreg_s((__force u64)(gcspr_el0 + 1), SYS_GCSPR_EL0);
>
> return 0;
> }
Looking through the code, do we have a similar problem in
gcs_signal_entry()? Or do we rely on sparse ignoring (unsigned long)
casts?
Whichever way we go, I think we should have consistency between these
two functions.
--
Catalin
next prev parent reply other threads:[~2024-12-13 16:27 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-12-11 1:00 [PATCH v2] arm64/signal: Silence sparse warning storing GCSPR_EL0 Mark Brown
2024-12-13 16:26 ` Catalin Marinas [this message]
2024-12-13 16:45 ` Mark Brown
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Z1xgQGNZzR6h0Uly@arm.com \
--to=catalin.marinas@arm.com \
--cc=broonie@kernel.org \
--cc=linux-arm-kernel@lists.infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=lkp@intel.com \
--cc=mark.rutland@arm.com \
--cc=will@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox