1ad6eb31eSJames Morse // SPDX-License-Identifier: GPL-2.0 2ad6eb31eSJames Morse // Copyright (C) 2017 Arm Ltd. 3ad6eb31eSJames Morse #ifndef __ASM_SDEI_H 4ad6eb31eSJames Morse #define __ASM_SDEI_H 5ad6eb31eSJames Morse 6f5df2696SJames Morse /* Values for sdei_exit_mode */ 7f5df2696SJames Morse #define SDEI_EXIT_HVC 0 8f5df2696SJames Morse #define SDEI_EXIT_SMC 1 9ad6eb31eSJames Morse 10f5df2696SJames Morse #define SDEI_STACK_SIZE IRQ_STACK_SIZE 11f5df2696SJames Morse 12f5df2696SJames Morse #ifndef __ASSEMBLY__ 13f5df2696SJames Morse 14f5df2696SJames Morse #include <linux/linkage.h> 15f5df2696SJames Morse #include <linux/preempt.h> 16f5df2696SJames Morse #include <linux/types.h> 17f5df2696SJames Morse 18f5df2696SJames Morse #include <asm/virt.h> 19f5df2696SJames Morse 20f5df2696SJames Morse extern unsigned long sdei_exit_mode; 21f5df2696SJames Morse 22f5df2696SJames Morse /* Software Delegated Exception entry point from firmware*/ 23f5df2696SJames Morse asmlinkage void __sdei_asm_handler(unsigned long event_num, unsigned long arg, 24f5df2696SJames Morse unsigned long pc, unsigned long pstate); 25f5df2696SJames Morse 26f5df2696SJames Morse /* 27f5df2696SJames Morse * The above entry point does the minimum to call C code. This function does 28f5df2696SJames Morse * anything else, before calling the driver. 29f5df2696SJames Morse */ 30f5df2696SJames Morse struct sdei_registered_event; 31f5df2696SJames Morse asmlinkage unsigned long __sdei_handler(struct pt_regs *regs, 32f5df2696SJames Morse struct sdei_registered_event *arg); 33f5df2696SJames Morse 34f5df2696SJames Morse unsigned long sdei_arch_get_entry_point(int conduit); 35f5df2696SJames Morse #define sdei_arch_get_entry_point(x) sdei_arch_get_entry_point(x) 36f5df2696SJames Morse 37f5df2696SJames Morse bool _on_sdei_stack(unsigned long sp); 38f5df2696SJames Morse static inline bool on_sdei_stack(unsigned long sp) 39f5df2696SJames Morse { 40f5df2696SJames Morse if (!IS_ENABLED(CONFIG_VMAP_STACK)) 41f5df2696SJames Morse return false; 42f5df2696SJames Morse if (!IS_ENABLED(CONFIG_ARM_SDE_INTERFACE)) 43f5df2696SJames Morse return false; 44f5df2696SJames Morse if (in_nmi()) 45f5df2696SJames Morse return _on_sdei_stack(sp); 46f5df2696SJames Morse 47f5df2696SJames Morse return false; 48f5df2696SJames Morse } 49f5df2696SJames Morse 50f5df2696SJames Morse #endif /* __ASSEMBLY__ */ 51ad6eb31eSJames Morse #endif /* __ASM_SDEI_H */ 52