/seL4-camkes-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-camkes-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-camkes-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-camkes-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-camkes-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-camkes-master/projects/util_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
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 301 int trigger; member in struct:__anon51
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | apicdef.h | 352 trigger : 1, member in struct:local_apic_regs::__anon31 410 trigger : 1, member in struct:local_apic_regs::__anon37 423 trigger : 1, member in struct:local_apic_regs::__anon38
|