| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4DTBHardware-to.template.c | 173 static int /*? me.interface.name ?*/_irq_acknowledge_wrapper(void *ack_data) { argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
| H A D | timer.c | 104 void nv_tmr_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | timer.c | 134 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | sp804.c | 118 static void sp804_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | dmt.c | 150 static void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
| H A D | ltimer.h | 33 static inline void handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | timer.c | 107 static void rk_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
| H A D | epit.c | 168 static void epit_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | pwm.c | 195 static void pwm_handle_irq0(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
205 static void pwm_handle_irq4(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
| H A D | tx2.c | 359 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/ |
| H A D | gpt.c | 204 static void gpt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 147 static void handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
| H A D | serial.c | 480 void serial_server_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
| H A D | zynq7000.c | 295 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 425 static void ttc_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
| H A D | imx6.c | 309 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/ |
| H A D | gpt.c | 180 static void gpt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | i2c.h | 549 static inline void i2c_handle_irq_wrapper(void *data, ps_irq_acknowledge_fn_t ack, void *ack_data) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | irq.c | 517 static int sel4platsupport_irq_acknowledge(void *ack_data) argument
808 ack_data_t *ack_data = NULL; local
|
| /seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
| H A D | intel.c | 1001 static void eth_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
|