Searched refs:get_interrupt_src_ss (Results 1 – 7 of 7) sorted by relevance
152 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()
79 #define get_interrupt_src_ss(flag) (((flag) >> INTR_SRC_SS_FLAG_SHIFT) & \ macro
62 assert(get_interrupt_src_ss(flags) == NON_SECURE); in opteed_sel1_interrupt_handler()
75 assert(get_interrupt_src_ss(flags) == NON_SECURE); in tlkd_interrupt_handler()
531 sec_state = get_interrupt_src_ss(flags); in sdei_intr_handler()
961 unsigned int ss = (unsigned int) get_interrupt_src_ss(flags); in sdei_smc_handler()
189 assert(get_interrupt_src_ss(flags) == NON_SECURE); in spmd_secure_interrupt_handler()
Completed in 11 milliseconds