Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/services/spd/tspd/
Dtspd_main.c105 assert(get_interrupt_src_ss(flags) == NON_SECURE); in tspd_sel1_interrupt_handler()
167 assert(get_interrupt_src_ss(flags) == SECURE); in tspd_ns_interrupt_handler()
/external/arm-trusted-firmware/include/bl31/
Dinterrupt_mgmt.h79 #define get_interrupt_src_ss(flag) (((flag) >> INTR_SRC_SS_FLAG_SHIFT) & \ macro
/external/arm-trusted-firmware/services/spd/opteed/
Dopteed_main.c62 assert(get_interrupt_src_ss(flags) == NON_SECURE); in opteed_sel1_interrupt_handler()
/external/arm-trusted-firmware/services/std_svc/sdei/
Dsdei_intr_mgmt.c464 sec_state = get_interrupt_src_ss(flags); in sdei_intr_handler()
Dsdei_main.c940 unsigned int ss = (unsigned int) get_interrupt_src_ss(flags); in sdei_smc_handler()