Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dinterrupt.h268 static inline bool interrupt_can_raise_sgi(struct itr_chip *chip) in interrupt_can_raise_sgi() function
313 assert(interrupt_can_raise_sgi(chip)); in interrupt_raise_sgi()
/optee_os/core/drivers/
H A Dstm32_exti.c341 if (interrupt_can_raise_sgi(parent->chip)) in stm32_exti_op_raise_sgi()
/optee_os/core/arch/arm/kernel/
H A Dthread_spmc.c1875 assert(interrupt_can_raise_sgi(interrupt_get_main_chip())); in thread_spmc_set_async_notif_intid()