23 lines
544 B
C
23 lines
544 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef __PLAT_RK_FIQ_DEBUGGER_H
|
|
#define __PLAT_RK_FIQ_DEBUGGER_H
|
|
|
|
#ifdef CONFIG_FIQ_DEBUGGER_TRUST_ZONE
|
|
void fiq_debugger_fiq(void *regs, u32 cpu);
|
|
|
|
#ifdef CONFIG_ARM_SDE_INTERFACE
|
|
int sdei_fiq_debugger_is_enabled(void);
|
|
int fiq_sdei_event_enable(u32 event_num);
|
|
int fiq_sdei_event_routing_set(u32 event_num, unsigned long flags,
|
|
unsigned long affinity);
|
|
int fiq_sdei_event_disable(u32 event_num);
|
|
#else
|
|
static inline int sdei_fiq_debugger_is_enabled(void)
|
|
{
|
|
return 0;
|
|
}
|
|
#endif
|
|
#endif
|
|
|
|
#endif
|