[PATCH v3 4/5] of: reserved_mem: reject static regions overlapping no-map memory
From: Wandun Chen
Date: Sun Sep 20 2026 - 05:31:41 EST
From: Wandun Chen <chenwandun@xxxxxxxxxxx>
Static no-map reserved-memory regions are marked in memblock.memory rather
than memblock.reserved. So the reservation overlap check does not reject a
static region that overlaps existing no-map memory.
Both regions can then be initialized and hand the same physical memory to
different reserved-memory drivers. So reject a static no-map region that
overlaps existing reserved no-map memory, and skip a no-map region in
the late scan that overlaps one already reserved.
Sashiko found this issue in [1].
Fixes: 86588296acbf ("fdt: Properly handle "no-map" field in the memory region")
Suggested-by: Marek Szyprowski <m.szyprowski@xxxxxxxxxxx>
Signed-off-by: Wandun Chen <chenwandun@xxxxxxxxxxx>
Link: https://sashiko.dev/#/message/20260814084718.29C341F000E9%40smtp.kernel.org [1]
---
drivers/of/of_reserved_mem.c | 23 +++++++++++++++++++++--
include/linux/memblock.h | 1 +
mm/memblock.c | 26 ++++++++++++++++++++++++++
3 files changed, 48 insertions(+), 2 deletions(-)
diff --git a/drivers/of/of_reserved_mem.c b/drivers/of/of_reserved_mem.c
index 3a6c6dbfd7b1..8d2057f2ac12 100644
--- a/drivers/of/of_reserved_mem.c
+++ b/drivers/of/of_reserved_mem.c
@@ -131,7 +131,8 @@ static int __init early_init_dt_reserve_memory(phys_addr_t base,
* if the region isn't memory as it won't be mapped.
*/
if (memblock_overlaps_region(&memblock.memory, base, size) &&
- memblock_is_region_reserved(base, size))
+ (memblock_is_region_reserved(base, size) ||
+ memblock_overlaps_nomap_region(base, size)))
return -EBUSY;
ret = memblock_mark_nomap(base, size);
@@ -266,6 +267,20 @@ static void __init __rmem_check_for_overlap(void)
}
}
+static bool __init rmem_overlaps_check(phys_addr_t base, phys_addr_t size,
+ int start)
+{
+ int i;
+
+ for (i = start; i < reserved_mem_count; i++) {
+ struct reserved_mem *r = &reserved_mem[i];
+
+ if (memblock_addrs_overlap(base, size, r->base, r->size))
+ return true;
+ }
+ return false;
+}
+
/**
* fdt_scan_reserved_mem_late() - Scan FDT and initialize remaining reserved
* memory regions.
@@ -279,7 +294,7 @@ void __init fdt_scan_reserved_mem_late(void)
{
const void *fdt = initial_boot_params;
phys_addr_t base, size;
- int node, child;
+ int node, child, static_reserved_start;
if (!fdt)
return;
@@ -299,6 +314,8 @@ void __init fdt_scan_reserved_mem_late(void)
return;
}
+ static_reserved_start = reserved_mem_count;
+
fdt_for_each_subnode(child, fdt, node) {
const __be32 *prop;
const char *uname;
@@ -326,6 +343,8 @@ void __init fdt_scan_reserved_mem_late(void)
continue;
nomap = of_get_flat_dt_prop(child, "no-map", NULL) != NULL;
+ if (nomap && rmem_overlaps_check(base, size, static_reserved_start))
+ continue;
if (!memblock_is_region_rsrv_rmem(base, size, nomap))
continue;
diff --git a/include/linux/memblock.h b/include/linux/memblock.h
index 03613fa0c894..34a695542ab1 100644
--- a/include/linux/memblock.h
+++ b/include/linux/memblock.h
@@ -504,6 +504,7 @@ bool memblock_is_map_memory(phys_addr_t addr);
bool memblock_is_region_memory(phys_addr_t base, phys_addr_t size);
bool memblock_is_reserved(phys_addr_t addr);
bool memblock_is_region_reserved(phys_addr_t base, phys_addr_t size);
+bool memblock_overlaps_nomap_region(phys_addr_t base, phys_addr_t size);
void memblock_dump_all(void);
diff --git a/mm/memblock.c b/mm/memblock.c
index d88e926e2ea5..58c9281e729e 100644
--- a/mm/memblock.c
+++ b/mm/memblock.c
@@ -2222,6 +2222,32 @@ bool __init_memblock memblock_is_region_rsrv_rmem(phys_addr_t base,
return true;
}
+/**
+ * memblock_overlaps_nomap_region - check if a region intersects no-map memory
+ * @base: base of region to check
+ * @size: size of region to check
+ *
+ * Check if the region [@base, @base + @size) intersects a memory block
+ * marked %MEMBLOCK_NOMAP.
+ *
+ * Return:
+ * True if they intersect, false if not.
+ */
+bool __init_memblock memblock_overlaps_nomap_region(phys_addr_t base,
+ phys_addr_t size)
+{
+ struct memblock_region *region;
+
+ memblock_cap_size(base, &size);
+ for_each_mem_region(region) {
+ if (memblock_is_nomap(region) &&
+ memblock_addrs_overlap(base, size, region->base, region->size))
+ return true;
+ }
+
+ return false;
+}
+
void __init_memblock memblock_trim_memory(phys_addr_t align)
{
phys_addr_t start, end, orig_start, orig_end;
--
2.43.0