Home
last modified time | relevance | path

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

/device/linaro/bootloader/arm-trusted-firmware/include/bl31/
Dinterrupt_mgmt.h96 #define get_interrupt_src_ss(flag) ((flag >> INTR_SRC_SS_FLAG_SHIFT) & \ macro
/device/linaro/bootloader/arm-trusted-firmware/services/spd/tspd/
Dtspd_main.c102 assert(get_interrupt_src_ss(flags) == NON_SECURE); in tspd_sel1_interrupt_handler()
164 assert(get_interrupt_src_ss(flags) == SECURE); in tspd_ns_interrupt_handler()
/device/linaro/bootloader/arm-trusted-firmware/services/spd/opteed/
Dopteed_main.c61 assert(get_interrupt_src_ss(flags) == NON_SECURE); in opteed_sel1_interrupt_handler()