| /seL4-refos-master/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
46 error = acknowledge_fn(ack_data);
|
| /seL4-refos-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
46 error = acknowledge_fn(ack_data);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
| H A D | timer.h | 71 void nv_tmr_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
| /seL4-refos-master/libs/libplatsupport/mach_include/nvidia/platsupport/mach/ |
| H A D | timer.h | 71 void nv_tmr_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 98 * @param acknowledge_fn Function pointer to an function used to acknowledge an interrupt
99 * @param ack_data Data to be passed to 'acknowledge_fn'
101 typedef void (*irq_callback_fn_t)(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 98 * @param acknowledge_fn Function pointer to an function used to acknowledge an interrupt
99 * @param ack_data Data to be passed to 'acknowledge_fn'
101 typedef void (*irq_callback_fn_t)(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
| /seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
| H A D | timer.h | 84 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
| H A D | timer.h | 84 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
| /seL4-refos-master/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
147 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-master/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
130 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-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
147 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-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
130 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-master/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
199 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
205 static void pwm_handle_irq4(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
213 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-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
199 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
205 static void pwm_handle_irq4(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument
213 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-master/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
111 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-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
111 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-master/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
218 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the interrupt from the GPT");
|
| /seL4-refos-master/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
180 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the interrupt from the EPIT");
|
| /seL4-refos-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
218 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the interrupt from the GPT");
|
| /seL4-refos-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
180 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the interrupt from the EPIT");
|
| /seL4-refos-master/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
164 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-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
164 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-master/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
115 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-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
115 ZF_LOGF_IF(acknowledge_fn(ack_data), "Failed to acknowledge the timer's interrupts");
|
| /seL4-refos-master/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
193 if (acknowledge_fn(ack_data)) {
|