1 files changed, 1 insertions, 0 deletions

diff --git a/mm/memory.c b/mm/memory.c
index 4ce24a4d5d48..01bdf9dbbfac 100644
--- a/mm/memory.c
+++ b/mm/memory.c
@@ -2108,6 +2108,7 @@ static inline void cow_user_page(struct page *dst, struct page *src, unsigned lo
 static int do_wp_page(struct mm_struct *mm, struct vm_area_struct *vma,
                 unsigned long address, pte_t *page_table, pmd_t *pmd,
                 spinlock_t *ptl, pte_t orig_pte)
+        __releases(ptl)
 {
         struct page *old_page, *new_page;
         pte_t entry;