Fix for the arm64 kern_addr_valid() function
PATCH 1/1 Fix for the arm64 kern_addr_valid() function
Fix for the arm64 kern_addr_valid() function to recognize virtual addresses in the kernel logical memory map. The function fails as written because it does not check whether the addresses in that region are mapped at the pmd level to 2MB or 512MB pages, continues the page table walk to the pte level, and issues a garbage value to pfn_valid().
Tested on 4K-page and 64K-page kernels.
--- arch/arm64/mm/mmu.c | 3 +++ 1 file changed, 3 insertions(+)
arch/arm64/mm/mmu.c +3 -0
@@ -374,6 +374,9 @@ int kern_addr_valid(unsigned long addr)if (pmd_none (*pmd))return 0 ; +if (pmd_sect (*pmd)) +return pfn_valid (pmd_pfn (*pmd)); + pte =pte_offset_kernel (pmd, addr);if (pte_none (*pte))return 0 ;
Signature · 1 line
1.7.11.7
PATCH 1/1 Fix for the arm64 kern_addr_valid() function
Hi Dave,
Quoted 19 lines · Dave Anderson
Fix for the arm64
kern_addr_valid()function to recognize virtual addresses in the kernel logical memory map. The function fails as written because it does not check whether the addresses in that region are mapped at the pmd level to 2MB or 512MB pages, continues the page table walk to the pte level, and issues a garbage value topfn_valid().Tested on 4K-page and 64K-page kernels.
Signed-off-by Dave Anderson <[email protected]>--- arch/arm64/mm/mmu.c | 3 +++ 1 file changed, 3 insertions(+)arch/arm64/mm/mmu.c +0
-0
arch/arm64/mm/mmu.c int kern_addr_valid(unsigned long addr) · line 382
Quoted 9 lines
arch/arm64/mm/mmu.c +3
-0@@ -374,6 +374,9 @@ int kern_addr_valid(unsigned long addr)if (pmd_none (*pmd))return 0 ; +if (pmd_sect (*pmd)) +return pfn_valid (pmd_pfn (*pmd)); + pte =pte_offset_kernel (pmd, addr);if (pte_none (*pte))return 0 ;
Whilst this patch looks fine to me, I wonder whether walking the page tables is really necessary for this function? The only user is fs/proc/kcore.c, which basically wants to know if a lowmem address is actually backed by physical memory. Our current implementation of kern_addr_valid will return true even for MMIO mappings, whilst I think we could actually just do something like:
if ((((long)addr) >> VA_BITS) != -1UL) return 0; return pfn_valid(__pa(addr) >> PAGE_SHIFT);
Am I missing something here?
Will
PATCH 1/1 Fix for the arm64 kern_addr_valid() function
----- Original Message -----
Quoted 46 lines
Hi Dave,
Quoted 19 lines · Dave Anderson
Fix for the arm64
kern_addr_valid()function to recognize virtual addresses in the kernel logical memory map. The function fails as written because it does not check whether the addresses in that region are mapped at the pmd level to 2MB or 512MB pages, continues the page table walk to the pte level, and issues a garbage value topfn_valid().Tested on 4K-page and 64K-page kernels.
Signed-off-by Dave Anderson <[email protected]>--- arch/arm64/mm/mmu.c | 3 +++ 1 file changed, 3 insertions(+)arch/arm64/mm/mmu.c +0
-0arch/arm64/mm/mmu.c int kern_addr_valid(unsigned long addr) · line 382
Quoted 9 lines
arch/arm64/mm/mmu.c +3
-0@@ -374,6 +374,9 @@ int kern_addr_valid(unsigned long addr)if (pmd_none (*pmd))return 0 ; +if (pmd_sect (*pmd)) +return pfn_valid (pmd_pfn (*pmd)); + pte =pte_offset_kernel (pmd, addr);if (pte_none (*pte))return 0 ;Whilst this patch looks fine to me, I wonder whether walking the page tables is really necessary for this function? The only user is
fs/proc/kcore.c, which basically wants to know if a lowmem address is actually backed by physical memory. Our current implementation ofkern_addr_validwill return true even for MMIO mappings, whilst I think we could actually just do something like:if ((((long)addr) >> VA_BITS) != -1UL) return 0; return pfn_valid(__pa(addr) >> PAGE_SHIFT);
Quoted 3 lines
Am I missing something here?
Will
Nope -- that works presuming read_kcore() is the only consumer. That's probably a safe bet, and also considering that 95% of the other arches just define it as "(1)".
On a related note, the arm64 /proc/kcore PT_LOAD segments are incorrect for all but the kernel logical memory map region because the default kc_vaddr_to_offset() macro is this:
#define kc_vaddr_to_offset(v) ((v) - PAGE_OFFSET)
So a 4K-page header has bogus file "Offset" values for the vmalloc, modules and vmemmap regions:
Program Headers:
Type Offset VirtAddr PhysAddr
FileSiz MemSiz Flags Align
NOTE 0x0000000000000158 0x0000000000000000 0x0000000000000000
0x0000000000000c4c 0x0000000000000000 0
LOAD 0xffffffc000001000 0xffffff8000000000 0x0000000000000000
0x0000003bffff0000 0x0000003bffff0000 RWE 1000
LOAD 0xfffffffffc001000 0xffffffbffc000000 0x0000000000000000
0x0000000004000000 0x0000000004000000 RWE 1000
LOAD 0x0000000000001000 0xffffffc000000000 0x0000000000000000
0x0000000400000000 0x0000000400000000 RWE 1000
LOAD 0xfffffffce0001000 0xffffffbce0000000 0x0000000000000000
0x000000000e000000 0x000000000e000000 RWE 1000And a 64K-page header looks like this:
Program Headers:
Type Offset VirtAddr PhysAddr
FileSiz MemSiz Flags Align
NOTE 0x0000000000000158 0x0000000000000000 0x0000000000000000
0x0000000000000c4c 0x0000000000000000 0
LOAD 0xfffffe0000010000 0xfffffc0000000000 0x0000000000000000
0x000001fbffff0000 0x000001fbffff0000 RWE 10000
LOAD 0xfffffffffc010000 0xfffffdfffc000000 0x0000000000000000
0x0000000004000000 0x0000000004000000 RWE 10000
LOAD 0x0000000000010000 0xfffffe0000000000 0x0000000000000000
0x0000000400000000 0x0000000400000000 RWE 10000
LOAD 0xfffffffc0e010000 0xfffffdfc0e000000 0x0000000000000000
0x0000000000e00000 0x0000000000e00000 RWE 10000I was testing kern_addr_valid() with the crash utility using /proc/kcore, which works OK because every user/kernel/vmalloc/vmemmap virtual address read request is first translated to a physical address, and then to a kernel logical memory map address. And luckily that region's PT_LOAD segment does have a correct Offset value.
Dave
Catalin Marinas
maintainerPATCH 1/1 Fix for the arm64 kern_addr_valid() function
In reply to Will DeaconQuoted 23 lines · Will Deacon
Quoted 22 lines · Dave Anderson
Fix for the arm64
kern_addr_valid()function to recognize virtual addresses in the kernel logical memory map. The function fails as written because it does not check whether the addresses in that region are mapped at the pmd level to 2MB or 512MB pages, continues the page table walk to the pte level, and issues a garbage value topfn_valid().Tested on 4K-page and 64K-page kernels.
Signed-off-by Dave Anderson <[email protected]>--- arch/arm64/mm/mmu.c | 3 +++ 1 file changed, 3 insertions(+)arch/arm64/mm/mmu.c +0
-0@@ -374,6 +374,9 @@ int kern_addr_valid(unsigned long addr)if (pmd_none (*pmd))return 0 ;
Quoted 12 lines
arch/arm64/mm/mmu.c int kern_addr_valid(unsigned long addr) · line 382
Quoted 6 lines
arch/arm64/mm/mmu.c +3
-0+if (pmd_sect (*pmd)) +return pfn_valid (pmd_pfn (*pmd)); + pte =pte_offset_kernel (pmd, addr);if (pte_none (*pte))return 0 ;Whilst this patch looks fine to me, I wonder whether walking the page tables is really necessary for this function? The only user is
fs/proc/kcore.c, which basically wants to know if a lowmem address is actually backed by physical memory. Our current implementation ofkern_addr_validwill return true even for MMIO mappings,
There is still a pfn_valid() check, so MMIO mappings wouldn't return true.
Quoted 10 lines
whilst I think we could actually just do
something like:if ((((long)addr) >> VA_BITS) != -1UL) return 0; return pfn_valid(__pa(addr) >> PAGE_SHIFT);Am I missing something here?
__pa(addr) isn't valid for vmalloc/ioremap addresses (which would pass the VA_BITS test above).
I would go with Dave's original patch for now. We've discussing change the memory map a bit for the kernel at some point in the future with PHYS_OFFSET always 0 and the kernel text/data mapped at a different address from PAGE_OFFSET (similar to x86_64). If we get there, this function would work unmodified.
Signature · 1 line
Catalin
PATCH 1/1 Fix for the arm64 kern_addr_valid() function
Quoted 51 lines · Catalin Marinas
Quoted 23 lines · Will Deacon
Quoted 22 lines · Dave Anderson
Fix for the arm64
kern_addr_valid()function to recognize virtual addresses in the kernel logical memory map. The function fails as written because it does not check whether the addresses in that region are mapped at the pmd level to 2MB or 512MB pages, continues the page table walk to the pte level, and issues a garbage value topfn_valid().Tested on 4K-page and 64K-page kernels.
Signed-off-by Dave Anderson <[email protected]>--- arch/arm64/mm/mmu.c | 3 +++ 1 file changed, 3 insertions(+)arch/arm64/mm/mmu.c +0
-0@@ -374,6 +374,9 @@ int kern_addr_valid(unsigned long addr)if (pmd_none (*pmd))return 0 ;Quoted 12 lines
arch/arm64/mm/mmu.c int kern_addr_valid(unsigned long addr) · line 382
Quoted 6 lines
arch/arm64/mm/mmu.c +3
-0+if (pmd_sect (*pmd)) +return pfn_valid (pmd_pfn (*pmd)); + pte =pte_offset_kernel (pmd, addr);if (pte_none (*pte))return 0 ;Whilst this patch looks fine to me, I wonder whether walking the page tables is really necessary for this function? The only user is
fs/proc/kcore.c, which basically wants to know if a lowmem address is actually backed by physical memory. Our current implementation ofkern_addr_validwill return true even for MMIO mappings,There is still a
pfn_valid()check, so MMIO mappings wouldn't return true.Quoted 10 lines
whilst I think we could actually just do
something like:if ((((long)addr) >> VA_BITS) != -1UL) return 0; return pfn_valid(__pa(addr) >> PAGE_SHIFT);Am I missing something here?
Quoted 9 lines
__pa(addr)isn't valid for vmalloc/ioremap addresses (which would pass theVA_BITStest above).I would go with Dave's original patch for now. We've discussing change the memory map a bit for the kernel at some point in the future with
PHYS_OFFSETalways 0 and the kernel text/data mapped at a different address fromPAGE_OFFSET(similar tox86_64). If we get there, this function would work unmodified.
+1.
I would prefer Dave's cleaner solution that is not dependent on current assumptions.
PATCH 1/1 Fix for the arm64 kern_addr_valid() function
In reply to Catalin MarinasQuoted 37 lines · Catalin Marinas
Quoted 23 lines · Will Deacon
Quoted 22 lines · Dave Anderson
Fix for the arm64
kern_addr_valid()function to recognize virtual addresses in the kernel logical memory map. The function fails as written because it does not check whether the addresses in that region are mapped at the pmd level to 2MB or 512MB pages, continues the page table walk to the pte level, and issues a garbage value topfn_valid().Tested on 4K-page and 64K-page kernels.
Signed-off-by Dave Anderson <[email protected]>--- arch/arm64/mm/mmu.c | 3 +++ 1 file changed, 3 insertions(+)arch/arm64/mm/mmu.c +0
-0@@ -374,6 +374,9 @@ int kern_addr_valid(unsigned long addr)if (pmd_none (*pmd))return 0 ;Quoted 12 lines
arch/arm64/mm/mmu.c int kern_addr_valid(unsigned long addr) · line 382
Quoted 6 lines
arch/arm64/mm/mmu.c +3
-0+if (pmd_sect (*pmd)) +return pfn_valid (pmd_pfn (*pmd)); + pte =pte_offset_kernel (pmd, addr);if (pte_none (*pte))return 0 ;Whilst this patch looks fine to me, I wonder whether walking the page tables is really necessary for this function? The only user is
fs/proc/kcore.c, which basically wants to know if a lowmem address is actually backed by physical memory. Our current implementation ofkern_addr_validwill return true even for MMIO mappings,
Quoted 2 lines
There is still a
pfn_valid()check, so MMIO mappings wouldn't return true.
Ah yes, I missed that.
Quoted 7 lines
Quoted 7 lines
whilst I think we could actually just do
something like:if ((((long)addr) >> VA_BITS) != -1UL) return 0;
Quoted 6 lines
Quoted 3 lines
return pfn_valid(__pa(addr) >> PAGE_SHIFT);Am I missing something here?
__pa(addr)isn't valid for vmalloc/ioremap addresses (which would pass theVA_BITStest above).
Sure, but the only caller of this function already checks the input address with is_vmalloc_or_module_addr, so that's not an issue.
Quoted 5 lines
I would go with Dave's original patch for now. We've discussing change the memory map a bit for the kernel at some point in the future with
PHYS_OFFSETalways 0 and the kernel text/data mapped at a different address fromPAGE_OFFSET(similar tox86_64). If we get there, this function would work unmodified.
Yeah, I'm fine with the patch, it just seems like we're doing a lot of needless work as it stands.
Will