| .. | .. |
|---|
| 17 | 17 | |
|---|
| 18 | 18 | #include <asm/virt.h> |
|---|
| 19 | 19 | |
|---|
| 20 | +DECLARE_PER_CPU(struct sdei_registered_event *, sdei_active_normal_event); |
|---|
| 21 | +DECLARE_PER_CPU(struct sdei_registered_event *, sdei_active_critical_event); |
|---|
| 22 | + |
|---|
| 20 | 23 | extern unsigned long sdei_exit_mode; |
|---|
| 21 | 24 | |
|---|
| 22 | 25 | /* Software Delegated Exception entry point from firmware*/ |
|---|
| .. | .. |
|---|
| 29 | 32 | unsigned long pc, |
|---|
| 30 | 33 | unsigned long pstate); |
|---|
| 31 | 34 | |
|---|
| 35 | +/* Abort a running handler. Context is discarded. */ |
|---|
| 36 | +void __sdei_handler_abort(void); |
|---|
| 37 | + |
|---|
| 32 | 38 | /* |
|---|
| 33 | 39 | * The above entry point does the minimum to call C code. This function does |
|---|
| 34 | 40 | * anything else, before calling the driver. |
|---|