| /seL4-refos-master/kernel/src/arch/arm/object/ |
| H A D | interrupt.c | 13 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument
39 bool_t trigger = !!getSyscallArg(1, buffer); local
83 bool_t trigger = !!getSyscallArg(1, buffer); local
|
| /seL4-refos-master/kernel/src/arch/riscv/object/ |
| H A D | interrupt.c | 25 static exception_t Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument
51 bool_t trigger = !!getSyscallArg(1, buffer); local
|
| /seL4-refos-master/libs/libsel4simple-default/src/arch/arm/ |
| H A D | default.c | 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
| H A D | default.c | 30 seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root, argument
|
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v2.c | 150 void setIRQTrigger(irq_t irq, bool_t trigger) argument
|
| H A D | gic_v3.c | 290 void setIRQTrigger(irq_t irq, bool_t trigger) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, argument
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
|
| /seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, argument
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 64 long trigger; member in struct:__anon11::__anon12::__anon16
65 } trigger; member in union:__anon11::__anon12
68 long trigger; member in struct:__anon11::__anon12::__anon17
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 64 long trigger; member in struct:__anon1::__anon2::__anon6
65 } trigger; member in union:__anon1::__anon2
68 long trigger; member in struct:__anon1::__anon2::__anon7
|