122e6c808SNishad Kamdar /* 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 20*5cd474e5SD Scott Phillips DECLARE_PER_CPU(struct sdei_registered_event *, sdei_active_normal_event); 21*5cd474e5SD Scott Phillips DECLARE_PER_CPU(struct sdei_registered_event *, sdei_active_critical_event); 22*5cd474e5SD Scott Phillips 23f5df2696SJames Morse extern unsigned long sdei_exit_mode; 24f5df2696SJames Morse 25f5df2696SJames Morse /* Software Delegated Exception entry point from firmware*/ 26f5df2696SJames Morse asmlinkage void __sdei_asm_handler(unsigned long event_num, unsigned long arg, 27f5df2696SJames Morse unsigned long pc, unsigned long pstate); 28f5df2696SJames Morse 2979e9aa59SJames Morse /* and its CONFIG_UNMAP_KERNEL_AT_EL0 trampoline */ 3079e9aa59SJames Morse asmlinkage void __sdei_asm_entry_trampoline(unsigned long event_num, 3179e9aa59SJames Morse unsigned long arg, 3279e9aa59SJames Morse unsigned long pc, 3379e9aa59SJames Morse unsigned long pstate); 3479e9aa59SJames Morse 35*5cd474e5SD Scott Phillips /* Abort a running handler. Context is discarded. */ 36*5cd474e5SD Scott Phillips void __sdei_handler_abort(void); 37*5cd474e5SD Scott Phillips 38f5df2696SJames Morse /* 39f5df2696SJames Morse * The above entry point does the minimum to call C code. This function does 40f5df2696SJames Morse * anything else, before calling the driver. 41f5df2696SJames Morse */ 42f5df2696SJames Morse struct sdei_registered_event; 43f5df2696SJames Morse asmlinkage unsigned long __sdei_handler(struct pt_regs *regs, 44f5df2696SJames Morse struct sdei_registered_event *arg); 45f5df2696SJames Morse 46d60b228fSMark Rutland unsigned long do_sdei_event(struct pt_regs *regs, 47d60b228fSMark Rutland struct sdei_registered_event *arg); 48d60b228fSMark Rutland 49f5df2696SJames Morse unsigned long sdei_arch_get_entry_point(int conduit); 50f5df2696SJames Morse #define sdei_arch_get_entry_point(x) sdei_arch_get_entry_point(x) 51f5df2696SJames Morse 52f5df2696SJames Morse #endif /* __ASSEMBLY__ */ 53ad6eb31eSJames Morse #endif /* __ASM_SDEI_H */ 54