x86 has used VM_SHADOW_STACK (alias to VM_HIGH_ARCH_5) to encode shadow
stack VMA. VM_SHADOW_STACK is thus not possible on 32bit. Some arches may
need a way to encode shadow stack on 32bit and 64bit both and they may
encode this information differently in VMAs.

This patch changes checks of VM_SHADOW_STACK flag in generic code to call
to a function `arch_is_shadow_stack` which will return true if arch
supports shadow stack and vma is shadow stack else stub returns false.

There was a suggestion to name it as `vma_is_shadow_stack`. I preferred to
keep `arch` prefix in there because it's each arch specific.

Signed-off-by: Deepak Gupta <[email protected]>
---
 include/linux/mm.h | 12 +++++++++++-
 mm/gup.c           |  5 +++--
 mm/internal.h      |  2 +-
 3 files changed, 15 insertions(+), 4 deletions(-)

diff --git a/include/linux/mm.h b/include/linux/mm.h
index 225af437ecba..9e6a4fbfccac 100644
--- a/include/linux/mm.h
+++ b/include/linux/mm.h
@@ -352,6 +352,10 @@ extern unsigned int kobjsize(const void *objp);
  * for more details on the guard size.
  */
 # define VM_SHADOW_STACK       VM_HIGH_ARCH_5
+static inline bool arch_is_shadow_stack(vm_flags_t vm_flags)
+{
+       return (vm_flags & VM_SHADOW_STACK);
+}
 #endif
 
 #ifdef CONFIG_RISCV_USER_CFI
@@ -372,6 +376,12 @@ static inline bool arch_is_shadow_stack(vm_flags_t 
vm_flags)
 
 #ifndef VM_SHADOW_STACK
 # define VM_SHADOW_STACK       VM_NONE
+
+static inline bool arch_is_shadow_stack(vm_flags_t vm_flags)
+{
+       return false;
+}
+
 #endif
 
 #if defined(CONFIG_X86)
@@ -3482,7 +3492,7 @@ static inline unsigned long stack_guard_start_gap(struct 
vm_area_struct *vma)
                return stack_guard_gap;
 
        /* See reasoning around the VM_SHADOW_STACK definition */
-       if (vma->vm_flags & VM_SHADOW_STACK)
+       if (vma->vm_flags && arch_is_shadow_stack(vma->vm_flags))
                return PAGE_SIZE;
 
        return 0;
diff --git a/mm/gup.c b/mm/gup.c
index df83182ec72d..a96043429b31 100644
--- a/mm/gup.c
+++ b/mm/gup.c
@@ -1053,7 +1053,7 @@ static int check_vma_flags(struct vm_area_struct *vma, 
unsigned long gup_flags)
                    !writable_file_mapping_allowed(vma, gup_flags))
                        return -EFAULT;
 
-               if (!(vm_flags & VM_WRITE) || (vm_flags & VM_SHADOW_STACK)) {
+               if (!(vm_flags & VM_WRITE) || arch_is_shadow_stack(vm_flags)) {
                        if (!(gup_flags & FOLL_FORCE))
                                return -EFAULT;
                        /* hugetlb does not support FOLL_FORCE|FOLL_WRITE. */
@@ -1071,7 +1071,8 @@ static int check_vma_flags(struct vm_area_struct *vma, 
unsigned long gup_flags)
                        if (!is_cow_mapping(vm_flags))
                                return -EFAULT;
                }
-       } else if (!(vm_flags & VM_READ)) {
+       } else if (!(vm_flags & VM_READ) && !arch_is_shadow_stack(vm_flags)) {
+       /* reads allowed if its shadow stack vma */
                if (!(gup_flags & FOLL_FORCE))
                        return -EFAULT;
                /*
diff --git a/mm/internal.h b/mm/internal.h
index f309a010d50f..005761d754f6 100644
--- a/mm/internal.h
+++ b/mm/internal.h
@@ -572,7 +572,7 @@ static inline bool is_exec_mapping(vm_flags_t flags)
  */
 static inline bool is_stack_mapping(vm_flags_t flags)
 {
-       return ((flags & VM_STACK) == VM_STACK) || (flags & VM_SHADOW_STACK);
+       return ((flags & VM_STACK) == VM_STACK) || arch_is_shadow_stack(flags);
 }
 
 /*
-- 
2.43.2


Reply via email to