1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __PLAT_RK_FIQ_DEBUGGER_H 3 #define __PLAT_RK_FIQ_DEBUGGER_H 4 5 #ifdef CONFIG_FIQ_DEBUGGER_TRUST_ZONE 6 void fiq_debugger_fiq(void *regs, u32 cpu); 7 8 #ifdef CONFIG_ARM_SDE_INTERFACE 9 int sdei_fiq_debugger_is_enabled(void); 10 int fiq_sdei_event_enable(u32 event_num); 11 int fiq_sdei_event_routing_set(u32 event_num, unsigned long flags, 12 unsigned long affinity); 13 int fiq_sdei_event_disable(u32 event_num); 14 #else sdei_fiq_debugger_is_enabled(void)15static inline int sdei_fiq_debugger_is_enabled(void) 16 { 17 return 0; 18 } 19 #endif 20 #endif 21 22 #endif 23