1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2017 Arm Ltd.
6 /* Values for sdei_exit_mode */
7 #define SDEI_EXIT_HVC 0
8 #define SDEI_EXIT_SMC 1
10 #define SDEI_STACK_SIZE IRQ_STACK_SIZE
14 #include <linux/linkage.h>
15 #include <linux/preempt.h>
16 #include <linux/types.h>
20 extern unsigned long sdei_exit_mode
;
22 /* Software Delegated Exception entry point from firmware*/
23 asmlinkage
void __sdei_asm_handler(unsigned long event_num
, unsigned long arg
,
24 unsigned long pc
, unsigned long pstate
);
26 /* and its CONFIG_UNMAP_KERNEL_AT_EL0 trampoline */
27 asmlinkage
void __sdei_asm_entry_trampoline(unsigned long event_num
,
30 unsigned long pstate
);
33 * The above entry point does the minimum to call C code. This function does
34 * anything else, before calling the driver.
36 struct sdei_registered_event
;
37 asmlinkage
unsigned long __sdei_handler(struct pt_regs
*regs
,
38 struct sdei_registered_event
*arg
);
40 unsigned long sdei_arch_get_entry_point(int conduit
);
41 #define sdei_arch_get_entry_point(x) sdei_arch_get_entry_point(x)
43 bool _on_sdei_stack(unsigned long sp
);
44 static inline bool on_sdei_stack(unsigned long sp
)
46 if (!IS_ENABLED(CONFIG_VMAP_STACK
))
48 if (!IS_ENABLED(CONFIG_ARM_SDE_INTERFACE
))
51 return _on_sdei_stack(sp
);
56 #endif /* __ASSEMBLY__ */
57 #endif /* __ASM_SDEI_H */