[PW_SID:1148177] [RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range - #2490
[PW_SID:1148177] [RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range#2490linux-riscv-bot wants to merge 4 commits into
Conversation
…_RWX When CONFIG_STRICT_MODULE_RWX is not set, execmem cannot create temporary writable mappings for read-only executable pages. In this case, the execmem ranges must already have writable permissions. Currently EXECMEM_KPROBES unconditionally uses PAGE_KERNEL_READ_EXEC, which causes kprobe instruction slot writes to trigger page faults on systems where CONFIG_STRICT_MODULE_RWX is not enabled. Fix this by using PAGE_KERNEL_EXEC when CONFIG_STRICT_MODULE_RWX is not available. Signed-off-by: Xiaofeng Yuan <xiaofengmian@163.com> Tested-by: Lad Prabhakar <prabhakar.mahadev-lad.rj@bp.renesas.com> Reviewed-by: Nam Cao <namcao@linutronix.de> Link: https://patch.msgid.link/20260814082742.148403-2-xiaofengmian@163.com Signed-off-by: Paul Walmsley <pjw@kernel.org>
patch_map() always creates a temporary writable mapping via fixmap for kernel text addresses, even when CONFIG_STRICT_KERNEL_RWX is disabled and the kernel text is already mapped with _PAGE_WRITE. This is unnecessary overhead at best, and on minimal configurations it can cause page faults. Skip the fixmap path for kernel text when CONFIG_STRICT_KERNEL_RWX is not enabled, since the text pages are already writable in that case. The module text path is already gated on CONFIG_STRICT_MODULE_RWX and is kept unchanged. Reported-by: Klara Modin <klara@kasm.eu> Closes: https://lore.kernel.org/all/ant_8TaBbov_GS4i@soda.int.kasm.eu/ Reported-by: Lad Prabhakar <prabhakar.csengg@gmail.com> Closes: https://lore.kernel.org/all/CA+V-a8tQK8rih9SGGTyqrEBGpNkx4H0eX2YccCRrgkVAPr+EBg@mail.gmail.com/ Tested-by: Klara Modin <klarasmodin@gmail.com> Tested-by: Lad Prabhakar <prabhakar.mahadev-lad.rj@bp.renesas.com> Link: https://patch.msgid.link/20260814082742.148403-3-xiaofengmian@163.com Signed-off-by: Paul Walmsley <pjw@kernel.org>
In __page_table_check_pte_clear_range(), the condition to determine whether to iterate over PTEs only checked pmd_bad() and pmd_leaf(). This relies on the implicit assumption that pmd_none() is always a subset of pmd_bad() on all architectures supporting PAGE_TABLE_CHECK. While this assumption currently holds for x86_64, arm64, s390, riscv, and powerpc, it is an architecture-dependent behavior that may not hold for future architectures. Add an explicit pmd_none() check to make the intent clear and avoid calling pte_offset_map() on an empty PMD, which could lead to undefined behavior. Signed-off-by: Ye Liu <liuye@kylinos.cn> Signed-off-by: Linux RISC-V bot <linux.riscv.bot@gmail.com>
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
|
Patch 1: "[RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range" |
bb1a926 to
6f6f7c0
Compare
PR for series 1148177 applied to workflow__riscv__fixes
Name: [RESEND] mm/page_table_check: add explicit pmd_none check in pte_clear_range
URL: https://patchwork.kernel.org/project/linux-riscv/list/?series=1148177
Version: 1