Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 1991, 1992 Linus Torvalds |
| 4 | * Copyright (C) 2000, 2001, 2002 Andi Kleen, SuSE Labs |
| 5 | */ |
Ingo Molnar | b17b015 | 2017-02-08 18:51:35 +0100 | [diff] [blame] | 6 | #include <linux/sched/debug.h> |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 7 | #include <linux/kallsyms.h> |
| 8 | #include <linux/kprobes.h> |
| 9 | #include <linux/uaccess.h> |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 10 | #include <linux/hardirq.h> |
| 11 | #include <linux/kdebug.h> |
Paul Gortmaker | 186f436 | 2016-07-13 20:18:56 -0400 | [diff] [blame] | 12 | #include <linux/export.h> |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 13 | #include <linux/ptrace.h> |
| 14 | #include <linux/kexec.h> |
Ingo Molnar | b803090 | 2009-11-26 08:17:31 +0100 | [diff] [blame] | 15 | #include <linux/sysfs.h> |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 16 | #include <linux/bug.h> |
| 17 | #include <linux/nmi.h> |
| 18 | |
Thomas Gleixner | afcd21d | 2019-04-14 17:59:52 +0200 | [diff] [blame] | 19 | #include <asm/cpu_entry_area.h> |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 20 | #include <asm/stacktrace.h> |
| 21 | |
Thomas Gleixner | 2a594d4 | 2019-04-14 17:59:57 +0200 | [diff] [blame] | 22 | static const char * const exception_stack_names[] = { |
Thomas Gleixner | 8f34c5b | 2019-04-14 17:59:45 +0200 | [diff] [blame] | 23 | [ ESTACK_DF ] = "#DF", |
| 24 | [ ESTACK_NMI ] = "NMI", |
Thomas Gleixner | 2a594d4 | 2019-04-14 17:59:57 +0200 | [diff] [blame] | 25 | [ ESTACK_DB2 ] = "#DB2", |
| 26 | [ ESTACK_DB1 ] = "#DB1", |
Thomas Gleixner | 8f34c5b | 2019-04-14 17:59:45 +0200 | [diff] [blame] | 27 | [ ESTACK_DB ] = "#DB", |
| 28 | [ ESTACK_MCE ] = "#MC", |
Josh Poimboeuf | 9c00390 | 2016-09-14 21:07:41 -0500 | [diff] [blame] | 29 | }; |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 30 | |
Josh Poimboeuf | 3d02a9c | 2016-11-18 11:46:23 -0600 | [diff] [blame] | 31 | const char *stack_type_name(enum stack_type type) |
Frederic Weisbecker | 0406ca6 | 2009-07-01 21:02:09 +0200 | [diff] [blame] | 32 | { |
Thomas Gleixner | 2a594d4 | 2019-04-14 17:59:57 +0200 | [diff] [blame] | 33 | BUILD_BUG_ON(N_EXCEPTION_STACKS != 6); |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 34 | |
Josh Poimboeuf | 3d02a9c | 2016-11-18 11:46:23 -0600 | [diff] [blame] | 35 | if (type == STACK_TYPE_IRQ) |
| 36 | return "IRQ"; |
| 37 | |
Dave Hansen | 4fe2d8b | 2017-12-04 17:25:07 -0800 | [diff] [blame] | 38 | if (type == STACK_TYPE_ENTRY) { |
| 39 | /* |
| 40 | * On 64-bit, we have a generic entry stack that we |
| 41 | * use for all the kernel entry points, including |
| 42 | * SYSENTER. |
| 43 | */ |
| 44 | return "ENTRY_TRAMPOLINE"; |
| 45 | } |
Andy Lutomirski | 33a2f1a | 2017-12-04 15:07:13 +0100 | [diff] [blame] | 46 | |
Josh Poimboeuf | 3d02a9c | 2016-11-18 11:46:23 -0600 | [diff] [blame] | 47 | if (type >= STACK_TYPE_EXCEPTION && type <= STACK_TYPE_EXCEPTION_LAST) |
| 48 | return exception_stack_names[type - STACK_TYPE_EXCEPTION]; |
| 49 | |
| 50 | return NULL; |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 51 | } |
| 52 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 53 | /** |
| 54 | * struct estack_pages - Page descriptor for exception stacks |
| 55 | * @offs: Offset from the start of the exception stack area |
| 56 | * @size: Size of the exception stack |
| 57 | * @type: Type to store in the stack_info struct |
| 58 | */ |
| 59 | struct estack_pages { |
| 60 | u32 offs; |
| 61 | u16 size; |
| 62 | u16 type; |
Thomas Gleixner | afcd21d | 2019-04-14 17:59:52 +0200 | [diff] [blame] | 63 | }; |
| 64 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 65 | #define EPAGERANGE(st) \ |
| 66 | [PFN_DOWN(CEA_ESTACK_OFFS(st)) ... \ |
| 67 | PFN_DOWN(CEA_ESTACK_OFFS(st) + CEA_ESTACK_SIZE(st) - 1)] = { \ |
| 68 | .offs = CEA_ESTACK_OFFS(st), \ |
| 69 | .size = CEA_ESTACK_SIZE(st), \ |
| 70 | .type = STACK_TYPE_EXCEPTION + ESTACK_ ##st, } |
Thomas Gleixner | afcd21d | 2019-04-14 17:59:52 +0200 | [diff] [blame] | 71 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 72 | /* |
| 73 | * Array of exception stack page descriptors. If the stack is larger than |
| 74 | * PAGE_SIZE, all pages covering a particular stack will have the same |
| 75 | * info. The guard pages including the not mapped DB2 stack are zeroed |
| 76 | * out. |
| 77 | */ |
| 78 | static const |
| 79 | struct estack_pages estack_pages[CEA_ESTACK_PAGES] ____cacheline_aligned = { |
| 80 | EPAGERANGE(DF), |
| 81 | EPAGERANGE(NMI), |
| 82 | EPAGERANGE(DB1), |
| 83 | EPAGERANGE(DB), |
| 84 | EPAGERANGE(MCE), |
Thomas Gleixner | afcd21d | 2019-04-14 17:59:52 +0200 | [diff] [blame] | 85 | }; |
| 86 | |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 87 | static bool in_exception_stack(unsigned long *stack, struct stack_info *info) |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 88 | { |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 89 | unsigned long begin, end, stk = (unsigned long)stack; |
| 90 | const struct estack_pages *ep; |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 91 | struct pt_regs *regs; |
Thomas Gleixner | afcd21d | 2019-04-14 17:59:52 +0200 | [diff] [blame] | 92 | unsigned int k; |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 93 | |
Thomas Gleixner | 2a594d4 | 2019-04-14 17:59:57 +0200 | [diff] [blame] | 94 | BUILD_BUG_ON(N_EXCEPTION_STACKS != 6); |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 95 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 96 | begin = (unsigned long)__this_cpu_read(cea_exception_stacks); |
| 97 | end = begin + sizeof(struct cea_exception_stacks); |
| 98 | /* Bail if @stack is outside the exception stack area. */ |
| 99 | if (stk < begin || stk >= end) |
| 100 | return false; |
Thomas Gleixner | afcd21d | 2019-04-14 17:59:52 +0200 | [diff] [blame] | 101 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 102 | /* Calc page offset from start of exception stacks */ |
| 103 | k = (stk - begin) >> PAGE_SHIFT; |
| 104 | /* Lookup the page descriptor */ |
| 105 | ep = &estack_pages[k]; |
| 106 | /* Guard page? */ |
| 107 | if (!ep->size) |
| 108 | return false; |
Josh Poimboeuf | 9c00390 | 2016-09-14 21:07:41 -0500 | [diff] [blame] | 109 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 110 | begin += (unsigned long)ep->offs; |
| 111 | end = begin + (unsigned long)ep->size; |
| 112 | regs = (struct pt_regs *)end - 1; |
Josh Poimboeuf | 9c00390 | 2016-09-14 21:07:41 -0500 | [diff] [blame] | 113 | |
Thomas Gleixner | c450c8f | 2019-04-14 17:59:58 +0200 | [diff] [blame] | 114 | info->type = ep->type; |
| 115 | info->begin = (unsigned long *)begin; |
| 116 | info->end = (unsigned long *)end; |
| 117 | info->next_sp = (unsigned long *)regs->sp; |
| 118 | return true; |
Alexander van Heukelum | 6fcbede | 2008-09-30 13:12:15 +0200 | [diff] [blame] | 119 | } |
| 120 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 121 | static bool in_irq_stack(unsigned long *stack, struct stack_info *info) |
Frederic Weisbecker | af2d828 | 2009-12-06 05:34:27 +0100 | [diff] [blame] | 122 | { |
Thomas Gleixner | 758a2e3 | 2019-04-14 18:00:02 +0200 | [diff] [blame] | 123 | unsigned long *end = (unsigned long *)this_cpu_read(hardirq_stack_ptr); |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 124 | unsigned long *begin = end - (IRQ_STACK_SIZE / sizeof(long)); |
| 125 | |
Josh Poimboeuf | 5fe599e | 2016-09-14 21:07:43 -0500 | [diff] [blame] | 126 | /* |
| 127 | * This is a software stack, so 'end' can be a valid stack pointer. |
| 128 | * It just means the stack is empty. |
| 129 | */ |
Andy Lutomirski | fa33215 | 2019-04-14 17:59:39 +0200 | [diff] [blame] | 130 | if (stack < begin || stack >= end) |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 131 | return false; |
| 132 | |
| 133 | info->type = STACK_TYPE_IRQ; |
| 134 | info->begin = begin; |
| 135 | info->end = end; |
| 136 | |
| 137 | /* |
| 138 | * The next stack pointer is the first thing pushed by the entry code |
| 139 | * after switching to the irq stack. |
| 140 | */ |
| 141 | info->next_sp = (unsigned long *)*(end - 1); |
| 142 | |
| 143 | return true; |
Frederic Weisbecker | af2d828 | 2009-12-06 05:34:27 +0100 | [diff] [blame] | 144 | } |
| 145 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 146 | int get_stack_info(unsigned long *stack, struct task_struct *task, |
| 147 | struct stack_info *info, unsigned long *visit_mask) |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 148 | { |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 149 | if (!stack) |
| 150 | goto unknown; |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 151 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 152 | task = task ? : current; |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 153 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 154 | if (in_task_stack(stack, task, info)) |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 155 | goto recursion_check; |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 156 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 157 | if (task != current) |
| 158 | goto unknown; |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 159 | |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 160 | if (in_exception_stack(stack, info)) |
| 161 | goto recursion_check; |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 162 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 163 | if (in_irq_stack(stack, info)) |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 164 | goto recursion_check; |
| 165 | |
Dave Hansen | 4fe2d8b | 2017-12-04 17:25:07 -0800 | [diff] [blame] | 166 | if (in_entry_stack(stack, info)) |
Andy Lutomirski | 33a2f1a | 2017-12-04 15:07:13 +0100 | [diff] [blame] | 167 | goto recursion_check; |
| 168 | |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 169 | goto unknown; |
| 170 | |
| 171 | recursion_check: |
| 172 | /* |
| 173 | * Make sure we don't iterate through any given stack more than once. |
| 174 | * If it comes up a second time then there's something wrong going on: |
| 175 | * just break out and report an unknown stack type. |
| 176 | */ |
| 177 | if (visit_mask) { |
Josh Poimboeuf | 0d2b857 | 2016-10-26 10:41:50 -0500 | [diff] [blame] | 178 | if (*visit_mask & (1UL << info->type)) { |
| 179 | printk_deferred_once(KERN_WARNING "WARNING: stack recursion on stack type %d\n", info->type); |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 180 | goto unknown; |
Josh Poimboeuf | 0d2b857 | 2016-10-26 10:41:50 -0500 | [diff] [blame] | 181 | } |
Josh Poimboeuf | fcd709e | 2016-09-14 21:07:44 -0500 | [diff] [blame] | 182 | *visit_mask |= 1UL << info->type; |
| 183 | } |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 184 | |
Josh Poimboeuf | cb76c93 | 2016-09-14 21:07:42 -0500 | [diff] [blame] | 185 | return 0; |
| 186 | |
| 187 | unknown: |
| 188 | info->type = STACK_TYPE_UNKNOWN; |
| 189 | return -EINVAL; |
Steven Rostedt | 2223f6f | 2014-02-06 09:41:32 -0500 | [diff] [blame] | 190 | } |