| /seL4-refos-master/libs/libsel4platsupport/src/arch/arm/ |
| H A D | device.c | 20 return arch_simple_get_IRQ_trigger(arch_simple, irq->trigger.number, irq->trigger.trigger, *dest);
22 return arch_simple_get_IRQ_trigger_cpu(arch_simple, irq->cpu.number, irq->cpu.trigger, irq->cpu.cpu_idx, *dest);
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
| H A D | device.c | 20 return arch_simple_get_IRQ_trigger(arch_simple, irq->trigger.number, irq->trigger.trigger, *dest);
22 return arch_simple_get_IRQ_trigger_cpu(arch_simple, irq->cpu.number, irq->cpu.trigger, irq->cpu.cpu_idx, *dest);
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 37 typedef seL4_Error(*simple_get_IRQ_trigger_fn)(void *data, int irq, int trigger, int core, seL4_CNode root,
61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, argument
73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth);
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
88 return simple->irq_trigger(simple->data, irq, trigger, core, path.root, path.capPtr, path.capDepth);
|
| /seL4-refos-master/libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 37 typedef seL4_Error(*simple_get_IRQ_trigger_fn)(void *data, int irq, int trigger, int core, seL4_CNode root,
61 static inline seL4_Error arch_simple_get_IRQ_trigger(arch_simple_t *simple, int irq, int trigger, argument
73 return simple->irq_trigger(simple->data, irq, trigger, 0, path.root, path.capPtr, path.capDepth);
76 static inline seL4_Error arch_simple_get_IRQ_trigger_cpu(arch_simple_t *simple, int irq, int trigger, int core, argument
88 return simple->irq_trigger(simple->data, irq, trigger, core, path.root, path.capPtr, path.capDepth);
|
| /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
28 setIRQTrigger(irq, trigger);
44 userError("This platform does not support setting the IRQ trigger");
51 bool_t trigger = !!getSyscallArg(1, buffer); local
85 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| /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
|
| /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
16 setIRQTrigger(irq, trigger);
32 userError("This platform does not support setting the IRQ trigger");
39 bool_t trigger = !!getSyscallArg(1, buffer); local
79 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
83 bool_t trigger = !!getSyscallArg(1, buffer); local
131 return Arch_invokeIRQControl(irq, destSlot, srcSlot, trigger);
|
| /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
34 return seL4_IRQControl_GetTriggerCore(seL4_CapIRQControl, irq, trigger, root, index, depth, core);
36 return seL4_IRQControl_GetTrigger(seL4_CapIRQControl, irq, trigger, root, index, depth);
|
| /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
34 return seL4_IRQControl_GetTriggerCore(seL4_CapIRQControl, irq, trigger, root, index, depth, core);
36 return seL4_IRQControl_GetTrigger(seL4_CapIRQControl, irq, trigger, root, index, depth);
|
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | gic_v2.c | 150 void setIRQTrigger(irq_t irq, bool_t trigger) argument
157 if (trigger) {
|
| H A D | gic_v3.c | 290 void setIRQTrigger(irq_t irq, bool_t trigger) argument
310 if (trigger) {
|
| /seL4-refos-master/kernel/include/arch/arm/arch/ |
| H A D | machine.h | 26 void setIRQTrigger(irq_t irq, bool_t trigger);
|
| /seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
| H A D | ltimer.c | 46 .trigger.number = TIMER_A_IRQ,
47 .trigger.trigger = 1 /* edge-triggered */
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | ltimer.c | 46 .trigger.number = TIMER_A_IRQ,
47 .trigger.trigger = 1 /* edge-triggered */
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 46 irq->cpu.trigger = 0;
103 irq->cpu.trigger != 0 &&
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | generic_ltimer.c | 46 irq->cpu.trigger = 0;
103 irq->cpu.trigger != 0 &&
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/ |
| H A D | machine.h | 233 void setIRQTrigger(irq_t irq, bool_t trigger);
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | api.tex | 64 trigger-span of the watchpoint. Must be zero when 'type' is \texttt{seL4\_InstructionBreakpoint}.
85 '\texttt{seL4\_Word type}', the type of operation which will currently trigger the
89 '\texttt{seL4\_Word rw}', the access direction that will currently trigger the breakpoint,
|
| H A D | threads.tex | 308 fault that would trigger the standard exception handler while it is set to a
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | timer.c | 284 if (to->irqs[i].irq.trigger.number == id) {
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | timer.c | 284 if (to->irqs[i].irq.trigger.number == id) {
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1144 When you traverse a set of stairs, or trigger a trap which sends you
1299 wild. Similarly, when you trigger certain types of traps which alter
1302 pet will be left behind. Your pet may trigger such traps itself; you
2978 in it will trigger the playing of "gong.wav". You can have multiple
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 1144 When you traverse a set of stairs, or trigger a trap which sends you
1299 wild. Similarly, when you trigger certain types of traps which alter
1302 pet will be left behind. Your pet may trigger such traps itself; you
2978 in it will trigger the playing of "gong.wav". You can have multiple
|