Searched defs:HAVE_SET_TRIGGER (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/kernel/include/drivers/irq/
H A Driscv_plic0.h9 #define HAVE_SET_TRIGGER 1 macro
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h13 #define HAVE_SET_TRIGGER 1 macro
H A Dgic_v3.h15 #define HAVE_SET_TRIGGER 1 macro

Completed in 29 milliseconds