blob: 804d076b02cb81d356cb6d216fc5cdbac004d163 [file] [log] [blame]
Thomas Gleixnercaab2772019-06-03 07:44:50 +02001// SPDX-License-Identifier: GPL-2.0-only
Catalin Marinas60ffc302012-03-05 11:49:27 +00002/*
3 * Stack tracing support
4 *
5 * Copyright (C) 2012 ARM Ltd.
Catalin Marinas60ffc302012-03-05 11:49:27 +00006 */
7#include <linux/kernel.h>
8#include <linux/export.h>
AKASHI Takahiro20380bb2015-12-15 17:33:41 +09009#include <linux/ftrace.h>
Masami Hiramatsuee07b932019-07-25 17:16:05 +090010#include <linux/kprobes.h>
Catalin Marinas60ffc302012-03-05 11:49:27 +000011#include <linux/sched.h>
Ingo Molnarb17b0152017-02-08 18:51:35 +010012#include <linux/sched/debug.h>
Ingo Molnar68db0cf2017-02-08 18:51:37 +010013#include <linux/sched/task_stack.h>
Catalin Marinas60ffc302012-03-05 11:49:27 +000014#include <linux/stacktrace.h>
15
AKASHI Takahiro132cd882015-12-04 11:02:26 +000016#include <asm/irq.h>
Mark Rutland04ad99a2020-03-13 14:34:59 +053017#include <asm/pointer_auth.h>
Mark Rutlanda9ea0012016-11-03 20:23:05 +000018#include <asm/stack_pointer.h>
Catalin Marinas60ffc302012-03-05 11:49:27 +000019#include <asm/stacktrace.h>
20
21/*
22 * AArch64 PCS assigns the frame pointer to x29.
23 *
24 * A simple function prologue looks like this:
25 * sub sp, sp, #0x10
26 * stp x29, x30, [sp]
27 * mov x29, sp
28 *
29 * A simple function epilogue looks like this:
30 * mov sp, x29
31 * ldp x29, x30, [sp]
32 * add sp, sp, #0x10
33 */
Mark Rutland592700f2019-07-02 14:07:29 +010034
35/*
36 * Unwind from one frame record (A) to the next frame record (B).
37 *
38 * We terminate early if the location of B indicates a malformed chain of frame
39 * records (e.g. a cycle), determined based on the location and fp value of A
40 * and the location (but not the fp value) of B.
41 */
AKASHI Takahirofe13f952015-12-15 17:33:40 +090042int notrace unwind_frame(struct task_struct *tsk, struct stackframe *frame)
Catalin Marinas60ffc302012-03-05 11:49:27 +000043{
Catalin Marinas60ffc302012-03-05 11:49:27 +000044 unsigned long fp = frame->fp;
Mark Rutland592700f2019-07-02 14:07:29 +010045 struct stack_info info;
Ard Biesheuvelc7365332017-07-22 12:48:34 +010046
47 if (fp & 0xf)
48 return -EINVAL;
AKASHI Takahiro132cd882015-12-04 11:02:26 +000049
Mark Rutlandb5e73072016-09-23 17:55:05 +010050 if (!tsk)
51 tsk = current;
52
Mark Rutland592700f2019-07-02 14:07:29 +010053 if (!on_accessible_stack(tsk, fp, &info))
Catalin Marinas60ffc302012-03-05 11:49:27 +000054 return -EINVAL;
55
Mark Rutland592700f2019-07-02 14:07:29 +010056 if (test_bit(info.type, frame->stacks_done))
57 return -EINVAL;
58
59 /*
60 * As stacks grow downward, any valid record on the same stack must be
61 * at a strictly higher address than the prior record.
62 *
63 * Stacks can nest in several valid orders, e.g.
64 *
65 * TASK -> IRQ -> OVERFLOW -> SDEI_NORMAL
66 * TASK -> SDEI_NORMAL -> SDEI_CRITICAL -> OVERFLOW
67 *
68 * ... but the nesting itself is strict. Once we transition from one
69 * stack to another, it's never valid to unwind back to that first
70 * stack.
71 */
72 if (info.type == frame->prev_type) {
73 if (fp <= frame->prev_fp)
74 return -EINVAL;
75 } else {
76 set_bit(frame->prev_type, frame->stacks_done);
77 }
78
79 /*
80 * Record this frame record's values and location. The prev_fp and
81 * prev_type are only meaningful to the next unwind_frame() invocation.
82 */
Yang Shibcaf6692016-02-08 09:13:09 -080083 frame->fp = READ_ONCE_NOCHECK(*(unsigned long *)(fp));
84 frame->pc = READ_ONCE_NOCHECK(*(unsigned long *)(fp + 8));
Mark Rutland592700f2019-07-02 14:07:29 +010085 frame->prev_fp = fp;
86 frame->prev_type = info.type;
Catalin Marinas60ffc302012-03-05 11:49:27 +000087
AKASHI Takahiro20380bb2015-12-15 17:33:41 +090088#ifdef CONFIG_FUNCTION_GRAPH_TRACER
Mark Rutlandb5e73072016-09-23 17:55:05 +010089 if (tsk->ret_stack &&
Mark Rutland04ad99a2020-03-13 14:34:59 +053090 (ptrauth_strip_insn_pac(frame->pc) == (unsigned long)return_to_handler)) {
Steven Rostedt (VMware)a4482762018-12-07 13:13:28 -050091 struct ftrace_ret_stack *ret_stack;
AKASHI Takahiro20380bb2015-12-15 17:33:41 +090092 /*
93 * This is a case where function graph tracer has
94 * modified a return address (LR) in a stack frame
95 * to hook a function return.
96 * So replace it to an original value.
97 */
Steven Rostedt (VMware)a4482762018-12-07 13:13:28 -050098 ret_stack = ftrace_graph_get_ret_stack(tsk, frame->graph++);
99 if (WARN_ON_ONCE(!ret_stack))
100 return -EINVAL;
101 frame->pc = ret_stack->ret;
AKASHI Takahiro20380bb2015-12-15 17:33:41 +0900102 }
103#endif /* CONFIG_FUNCTION_GRAPH_TRACER */
104
Mark Rutland04ad99a2020-03-13 14:34:59 +0530105 frame->pc = ptrauth_strip_insn_pac(frame->pc);
106
AKASHI Takahiro132cd882015-12-04 11:02:26 +0000107 /*
Ard Biesheuvel73267492017-07-22 18:45:33 +0100108 * Frames created upon entry from EL0 have NULL FP and PC values, so
109 * don't bother reporting these. Frames created by __noreturn functions
110 * might have a valid FP even if PC is bogus, so only terminate where
111 * both are NULL.
AKASHI Takahiro132cd882015-12-04 11:02:26 +0000112 */
Ard Biesheuvel73267492017-07-22 18:45:33 +0100113 if (!frame->fp && !frame->pc)
114 return -EINVAL;
AKASHI Takahiro132cd882015-12-04 11:02:26 +0000115
Catalin Marinas60ffc302012-03-05 11:49:27 +0000116 return 0;
117}
Masami Hiramatsuee07b932019-07-25 17:16:05 +0900118NOKPROBE_SYMBOL(unwind_frame);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000119
AKASHI Takahirofe13f952015-12-15 17:33:40 +0900120void notrace walk_stackframe(struct task_struct *tsk, struct stackframe *frame,
Mark Brownbaa2cd42020-09-14 16:34:08 +0100121 bool (*fn)(void *, unsigned long), void *data)
Catalin Marinas60ffc302012-03-05 11:49:27 +0000122{
123 while (1) {
124 int ret;
125
Mark Brownbaa2cd42020-09-14 16:34:08 +0100126 if (!fn(data, frame->pc))
Catalin Marinas60ffc302012-03-05 11:49:27 +0000127 break;
AKASHI Takahirofe13f952015-12-15 17:33:40 +0900128 ret = unwind_frame(tsk, frame);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000129 if (ret < 0)
130 break;
131 }
132}
Masami Hiramatsuee07b932019-07-25 17:16:05 +0900133NOKPROBE_SYMBOL(walk_stackframe);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000134
135#ifdef CONFIG_STACKTRACE
Catalin Marinas60ffc302012-03-05 11:49:27 +0000136
Mark Brown5fc57df2020-09-14 16:34:09 +0100137void arch_stack_walk(stack_trace_consume_fn consume_entry, void *cookie,
138 struct task_struct *task, struct pt_regs *regs)
Catalin Marinas60ffc302012-03-05 11:49:27 +0000139{
Pratyush Anand98ab10e2016-09-05 08:03:16 +0530140 struct stackframe frame;
141
Mark Brown5fc57df2020-09-14 16:34:09 +0100142 if (regs)
143 start_backtrace(&frame, regs->regs[29], regs->pc);
144 else if (task == current)
Dave Martinf3dcbe62019-07-02 14:07:28 +0100145 start_backtrace(&frame,
146 (unsigned long)__builtin_frame_address(0),
Mark Brown5fc57df2020-09-14 16:34:09 +0100147 (unsigned long)arch_stack_walk);
148 else
149 start_backtrace(&frame, thread_saved_fp(task),
150 thread_saved_pc(task));
Catalin Marinas60ffc302012-03-05 11:49:27 +0000151
Mark Brown5fc57df2020-09-14 16:34:09 +0100152 walk_stackframe(task, &frame, consume_entry, cookie);
Catalin Marinas60ffc302012-03-05 11:49:27 +0000153}
Catalin Marinas60ffc302012-03-05 11:49:27 +0000154
Catalin Marinas60ffc302012-03-05 11:49:27 +0000155#endif