diff --git a/kernel/ptrace.c b/kernel/ptrace.c
index f34d798ef4a25831b98090a7b85fa6d3b93d0de2..4afd9b86cc0be420c1f25240e953382326a19473 100644
--- a/kernel/ptrace.c
+++ b/kernel/ptrace.c
@@ -329,6 +329,8 @@ int ptrace_detach(struct task_struct *child, unsigned int data)
  * and reacquire the lock.
  */
 void exit_ptrace(struct task_struct *tracer)
+	__releases(&tasklist_lock)
+	__acquires(&tasklist_lock)
 {
 	struct task_struct *p, *n;
 	LIST_HEAD(ptrace_dead);