Searched defs:trigger (Results 1 - 2 of 2) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dinterrupt.c17 Arch_invokeIRQControl(irq_t irq, cte_t *handlerSlot, cte_t *controlSlot, bool_t trigger) argument
44 bool_t trigger = !!getSyscallArg(1, buffer); local
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Dgic_pl390.c162 void setIRQTrigger(irq_t irq, bool_t trigger) argument

Completed in 32 milliseconds