Searched refs:interrupt_register_provider (Results 1 – 4 of 4) sorted by relevance
| /optee_os/core/include/kernel/ |
| H A D | interrupt.h | 494 TEE_Result interrupt_register_provider(const void *fdt, int node,
536 static inline TEE_Result interrupt_register_provider(const void *dt __unused, in interrupt_register_provider() function
|
| /optee_os/core/kernel/ |
| H A D | interrupt.c | 284 TEE_Result interrupt_register_provider(const void *fdt, int node, in interrupt_register_provider() function
|
| /optee_os/core/drivers/ |
| H A D | stm32_exti.c | 779 res = interrupt_register_provider(fdt, node, stm32_exti_dt_get_chip_cb, in stm32_exti_probe()
|
| H A D | gic.c | 1161 if (interrupt_register_provider(fdt, offs, dt_get_gic_chip_cb, in gic_probe()
|