* [PATCH] firmware: imx: sm: publish the protocol handle after the ops pointer
@ 2026-09-22 0:28 Jaidev Shastri via B4 Relay
2026-09-22 0:40 ` sashiko-bot
0 siblings, 1 reply; 2+ messages in thread
From: Jaidev Shastri via B4 Relay @ 2026-09-22 0:28 UTC (permalink / raw)
To: Frank Li, Sascha Hauer, Pengutronix Kernel Team, Fabio Estevam
Cc: imx, linux-arm-kernel, linux-kernel, Jaidev Shastri
From: Jaidev Shastri <jaidevshastri@vt.edu>
sm-cpu, sm-lmm and sm-misc export helpers such as scmi_imx_cpu_start()
and scmi_imx_lmm_info() to imx_rproc, fsl_sai and the i.MX SOF driver.
Each helper gates on the file-scope protocol handle:
if (!ph)
return -EPROBE_DEFER;
return imx_cpu_ops->cpu_start(ph, ...);
The probe functions set both globals in one statement:
imx_cpu_ops = handle->devm_protocol_get(sdev, ..., &ph);
scmi_devm_protocol_get() stores *ph before it returns, so the gate
becomes non-NULL before the ops pointer it guards is written. A consumer
that passes the gate in that window dereferences imx_cpu_ops == NULL.
Nothing orders the two stores for a reader either: the writer has no
release, the reader has no acquire, and the load of imx_cpu_ops does not
depend on the value of ph.
Take the handle into a local, assign the ops pointer first and publish
the handle with smp_store_release(). Read it with smp_load_acquire() in
the exported helpers.
Found with MBCheck, a static herd7-based memory consistency checker.
Signed-off-by: Jaidev Shastri <jaidevshastri@vt.edu>
---
drivers/firmware/imx/sm-cpu.c | 24 ++++++++++++++++++------
drivers/firmware/imx/sm-lmm.c | 24 ++++++++++++++++++------
drivers/firmware/imx/sm-misc.c | 24 ++++++++++++++++++------
3 files changed, 54 insertions(+), 18 deletions(-)
diff --git a/drivers/firmware/imx/sm-cpu.c b/drivers/firmware/imx/sm-cpu.c
index 091b014f7..60ba700d0 100644
--- a/drivers/firmware/imx/sm-cpu.c
+++ b/drivers/firmware/imx/sm-cpu.c
@@ -16,7 +16,8 @@ static struct scmi_protocol_handle *ph;
int scmi_imx_cpu_reset_vector_set(u32 cpuid, u64 vector, bool start, bool boot,
bool resume)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
return imx_cpu_ops->cpu_reset_vector_set(ph, cpuid, vector, start,
@@ -26,7 +27,8 @@ EXPORT_SYMBOL(scmi_imx_cpu_reset_vector_set);
int scmi_imx_cpu_start(u32 cpuid, bool start)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
if (start)
@@ -38,7 +40,8 @@ EXPORT_SYMBOL(scmi_imx_cpu_start);
int scmi_imx_cpu_started(u32 cpuid, bool *started)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
if (!started)
@@ -51,6 +54,8 @@ EXPORT_SYMBOL(scmi_imx_cpu_started);
static int scmi_imx_cpu_probe(struct scmi_device *sdev)
{
const struct scmi_handle *handle = sdev->handle;
+ const struct scmi_imx_cpu_proto_ops *ops;
+ struct scmi_protocol_handle *cpu_ph;
if (!handle)
return -ENODEV;
@@ -60,9 +65,16 @@ static int scmi_imx_cpu_probe(struct scmi_device *sdev)
return -EEXIST;
}
- imx_cpu_ops = handle->devm_protocol_get(sdev, SCMI_PROTOCOL_IMX_CPU, &ph);
- if (IS_ERR(imx_cpu_ops))
- return PTR_ERR(imx_cpu_ops);
+ ops = handle->devm_protocol_get(sdev, SCMI_PROTOCOL_IMX_CPU, &cpu_ph);
+ if (IS_ERR(ops))
+ return PTR_ERR(ops);
+
+ imx_cpu_ops = ops;
+ /*
+ * ph is the gate the exported helpers test. Publish it only after
+ * imx_cpu_ops is set, and pair with the smp_load_acquire() there.
+ */
+ smp_store_release(&ph, cpu_ph);
return 0;
}
diff --git a/drivers/firmware/imx/sm-lmm.c b/drivers/firmware/imx/sm-lmm.c
index 6807bf563..0e2cc7153 100644
--- a/drivers/firmware/imx/sm-lmm.c
+++ b/drivers/firmware/imx/sm-lmm.c
@@ -15,7 +15,8 @@ static struct scmi_protocol_handle *ph;
int scmi_imx_lmm_info(u32 lmid, struct scmi_imx_lmm_info *info)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
if (!info)
@@ -27,7 +28,8 @@ EXPORT_SYMBOL(scmi_imx_lmm_info);
int scmi_imx_lmm_reset_vector_set(u32 lmid, u32 cpuid, u32 flags, u64 vector)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
return imx_lmm_ops->lmm_reset_vector_set(ph, lmid, cpuid, flags, vector);
@@ -36,7 +38,8 @@ EXPORT_SYMBOL(scmi_imx_lmm_reset_vector_set);
int scmi_imx_lmm_operation(u32 lmid, enum scmi_imx_lmm_op op, u32 flags)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
switch (op) {
@@ -57,6 +60,8 @@ EXPORT_SYMBOL(scmi_imx_lmm_operation);
static int scmi_imx_lmm_probe(struct scmi_device *sdev)
{
const struct scmi_handle *handle = sdev->handle;
+ const struct scmi_imx_lmm_proto_ops *ops;
+ struct scmi_protocol_handle *lmm_ph;
if (!handle)
return -ENODEV;
@@ -66,9 +71,16 @@ static int scmi_imx_lmm_probe(struct scmi_device *sdev)
return -EEXIST;
}
- imx_lmm_ops = handle->devm_protocol_get(sdev, SCMI_PROTOCOL_IMX_LMM, &ph);
- if (IS_ERR(imx_lmm_ops))
- return PTR_ERR(imx_lmm_ops);
+ ops = handle->devm_protocol_get(sdev, SCMI_PROTOCOL_IMX_LMM, &lmm_ph);
+ if (IS_ERR(ops))
+ return PTR_ERR(ops);
+
+ imx_lmm_ops = ops;
+ /*
+ * ph is the gate the exported helpers test. Publish it only after
+ * imx_lmm_ops is set, and pair with the smp_load_acquire() there.
+ */
+ smp_store_release(&ph, lmm_ph);
return 0;
}
diff --git a/drivers/firmware/imx/sm-misc.c b/drivers/firmware/imx/sm-misc.c
index fb8d7bdb5..178a3f748 100644
--- a/drivers/firmware/imx/sm-misc.c
+++ b/drivers/firmware/imx/sm-misc.c
@@ -43,7 +43,8 @@ static const struct of_device_id allowlist[] = {
int scmi_imx_misc_ctrl_set(u32 id, u32 val)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
return imx_misc_ctrl_ops->misc_ctrl_set(ph, id, 1, &val);
@@ -52,7 +53,8 @@ EXPORT_SYMBOL(scmi_imx_misc_ctrl_set);
int scmi_imx_misc_ctrl_get(u32 id, u32 *num, u32 *val)
{
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -EPROBE_DEFER;
return imx_misc_ctrl_ops->misc_ctrl_get(ph, id, num, val);
@@ -82,7 +84,8 @@ static int syslog_show(struct seq_file *file, void *priv)
if (!syslog)
return -ENOMEM;
- if (!ph)
+ /* Pairs with the smp_store_release() in the probe function. */
+ if (!smp_load_acquire(&ph))
return -ENODEV;
ret = imx_misc_ctrl_ops->misc_syslog(ph, &size, syslog);
@@ -153,6 +156,8 @@ static int scmi_imx_misc_ctrl_probe(struct scmi_device *sdev)
{
const struct scmi_handle *handle = sdev->handle;
struct device_node *np = sdev->dev.of_node;
+ const struct scmi_imx_misc_proto_ops *ops;
+ struct scmi_protocol_handle *misc_ph;
struct dentry *scmi_imx_dentry;
u32 src_id, flags;
int ret, i, num;
@@ -165,9 +170,16 @@ static int scmi_imx_misc_ctrl_probe(struct scmi_device *sdev)
return -EEXIST;
}
- imx_misc_ctrl_ops = handle->devm_protocol_get(sdev, SCMI_PROTOCOL_IMX_MISC, &ph);
- if (IS_ERR(imx_misc_ctrl_ops))
- return PTR_ERR(imx_misc_ctrl_ops);
+ ops = handle->devm_protocol_get(sdev, SCMI_PROTOCOL_IMX_MISC, &misc_ph);
+ if (IS_ERR(ops))
+ return PTR_ERR(ops);
+
+ imx_misc_ctrl_ops = ops;
+ /*
+ * ph is the gate the exported helpers test. Publish it only after
+ * imx_misc_ctrl_ops is set, and pair with the smp_load_acquire() there.
+ */
+ smp_store_release(&ph, misc_ph);
num = of_property_count_u32_elems(np, "nxp,ctrl-ids");
if (num % 2) {
---
base-commit: 93f51579e7df248780214094418f205253383cc5
change-id: 20260921-mb-imx-sm-b038ece55152
Best regards,
--
Jaidev Shastri <jaidevshastri@vt.edu>
^ permalink raw reply related [flat|nested] 2+ messages in thread* Re: [PATCH] firmware: imx: sm: publish the protocol handle after the ops pointer
2026-09-22 0:28 [PATCH] firmware: imx: sm: publish the protocol handle after the ops pointer Jaidev Shastri via B4 Relay
@ 2026-09-22 0:40 ` sashiko-bot
0 siblings, 0 replies; 2+ messages in thread
From: sashiko-bot @ 2026-09-22 0:40 UTC (permalink / raw)
To: Jaidev Shastri; +Cc: imx, Frank.Li
Thank you for your contribution! Sashiko AI review found 1 potential issue(s) to consider:
- [Medium] Concurrency: discarded smp_load_acquire result creates TOCTOU double-fetch
--
commit bbaeb64e803a74302b103407c87f99c75c2cbd83
Author: Jaidev Shastri <jaidevshastri@vt.edu>
firmware: imx: sm: publish the protocol handle after the ops pointer
This commit resolves an un-ordered initialization issue by publishing the
protocol handle ph only after the ops pointer is set. It uses
smp_store_release() during probe and smp_load_acquire() in the exported
helpers to ensure memory consistency.
> --- a/drivers/firmware/imx/sm-cpu.c
> +++ b/drivers/firmware/imx/sm-cpu.c
[ ... ]
> @@ -26,7 +27,8 @@ EXPORT_SYMBOL(scmi_imx_cpu_reset_vector_set);
>
> int scmi_imx_cpu_start(u32 cpuid, bool start)
> {
> - if (!ph)
> + /* Pairs with the smp_store_release() in the probe function. */
> + if (!smp_load_acquire(&ph))
> return -EPROBE_DEFER;
>
> if (start)
> return imx_cpu_ops->cpu_start(ph, cpuid, true);
[Severity: Medium]
Does discarding the result of smp_load_acquire(&ph) create a
Time-of-Check to Time-of-Use (TOCTOU) double-fetch race?
In scmi_imx_cpu_start() in drivers/firmware/imx/sm-cpu.c, the result of the
safe smp_load_acquire(&ph) fetch is only used for the NULL check. The global
ph is then read a second time from memory when it is passed into
imx_cpu_ops->cpu_start(ph, cpuid, true).
If ph were cleared concurrently (such as during driver unbind or probe error
rollback), this second load could fetch NULL and potentially cause a crash.
While this bug might currently be latent if the driver lacks a teardown path
that clears ph, this double-fetch usage bypasses the acquire semantics.
Could we store the acquired handle in a local variable and use that local
variable for both the NULL check and the function call?
--
Sashiko AI review · https://sashiko.dev/#/patchset/20260921-mb-imx-sm-v1-1-39f17526d253@vt.edu?part=1
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2026-09-22 0:40 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-09-22 0:28 [PATCH] firmware: imx: sm: publish the protocol handle after the ops pointer Jaidev Shastri via B4 Relay
2026-09-22 0:40 ` sashiko-bot
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox