Searched refs:interrupt_raise_sgi (Results 1 – 7 of 7) sorted by relevance
| /optee_os/core/kernel/ |
| H A D | panic.c | 39 interrupt_raise_sgi(chip, CFG_HALT_CORES_SGI, in halt_other_cores()
|
| /optee_os/core/arch/arm/plat-stm32mp2/ |
| H A D | main.c | 192 interrupt_raise_sgi(interrupt_get_main_chip(), in do_reset()
|
| /optee_os/core/arch/arm/plat-stm32mp1/pm/ |
| H A D | psci.c | 147 interrupt_raise_sgi(itr_chip, GIC_SEC_SGI_0, TARGET_CPU1_GIC_MASK); in release_secondary_early_hpen()
|
| /optee_os/core/include/kernel/ |
| H A D | interrupt.h | 310 static inline void interrupt_raise_sgi(struct itr_chip *chip, size_t itr_num, in interrupt_raise_sgi() function
|
| /optee_os/core/arch/arm/plat-stm32mp1/ |
| H A D | main.c | 753 interrupt_raise_sgi(interrupt_get_main_chip(), in do_reset()
|
| /optee_os/core/drivers/ |
| H A D | stm32_exti.c | 342 interrupt_raise_sgi(parent->chip, parent->itr_num, cpu_mask); in stm32_exti_op_raise_sgi()
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | thread_spmc.c | 1896 interrupt_raise_sgi(interrupt_get_main_chip(), notif_intid, in notif_send_async()
|