Home
last modified time | relevance | path

Searched refs:get_interrupt_src_ss (Results 1 – 7 of 7) sorted by relevance

/trusted-firmware-a/services/spd/tspd/
A Dtspd_main.c152 if (get_interrupt_src_ss(flags) == NON_SECURE) { in tspd_sel1_interrupt_handler()
171 assert(get_interrupt_src_ss(flags) == NON_SECURE); in tspd_sel1_interrupt_handler()
230 assert(get_interrupt_src_ss(flags) == SECURE); in tspd_ns_interrupt_handler()
/trusted-firmware-a/include/bl31/
A Dinterrupt_mgmt.h79 #define get_interrupt_src_ss(flag) (((flag) >> INTR_SRC_SS_FLAG_SHIFT) & \ macro
/trusted-firmware-a/services/spd/opteed/
A Dopteed_main.c62 assert(get_interrupt_src_ss(flags) == NON_SECURE); in opteed_sel1_interrupt_handler()
/trusted-firmware-a/services/spd/tlkd/
A Dtlkd_main.c75 assert(get_interrupt_src_ss(flags) == NON_SECURE); in tlkd_interrupt_handler()
/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c531 sec_state = get_interrupt_src_ss(flags); in sdei_intr_handler()
A Dsdei_main.c961 unsigned int ss = (unsigned int) get_interrupt_src_ss(flags); in sdei_smc_handler()
/trusted-firmware-a/services/std_svc/spmd/
A Dspmd_main.c189 assert(get_interrupt_src_ss(flags) == NON_SECURE); in spmd_secure_interrupt_handler()

Completed in 11 milliseconds