Searched refs:global_notification_irq_handler_t (Results 1 - 4 of 4) sorted by path

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dirq.h43 typedef struct global_notification_irq_handler global_notification_irq_handler_t; typedef in typeref:struct:global_notification_irq_handler
66 * against badge values registered by global_notification_irq_handler_t entry.
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dirq.c194 extern global_notification_irq_handler_t *__start__global_notification_irqs[];
195 extern global_notification_irq_handler_t *__stop__global_notification_irqs[];
200 for (global_notification_irq_handler_t **irq_entry = __start__global_notification_irqs;
/seL4-camkes-master/projects/global-components/templates/
H A DseL4DTBHardwareThreadless.template.c178 static global_notification_irq_handler_t /*? irq_handler_struct_name ?*/ = { variable
185 global_notification_irq_handler_t * /*? irq_handler_struct_name ?*/_ptr = &/*? irq_handler_struct_name ?*/;
H A DseL4GlobalAsynchHardwareInterrupt.template.c219 static global_notification_irq_handler_t /*? irq_handler_struct_name ?*/ = { variable
226 global_notification_irq_handler_t * /*? irq_handler_struct_name ?*/_ptr = &/*? irq_handler_struct_name ?*/;

Completed in 141 milliseconds