Searched refs:_reg_callback (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4IOAPICHardwareInterrupt.template.c113 int /*? me.interface.name ?*/_reg_callback(void (*callback)(void*), void *arg) { function
H A DseL4HardwareInterrupt.template.c200 int /*? me.interface.name ?*/_reg_callback(void (*callback)(void*) UNUSED, function
H A DseL4Notification-to.template.c138 int /*? me.interface.name ?*/_reg_callback(void (*cb)(void*), void *arg) { function
H A Dcomponent.template.h157 int /*? c.name ?*/_reg_callback(void (*callback)(void*), void *arg) WARN_UNUSED_RESULT
159 /*- if irq[0] -*/ WARNING("/*? c.name ?*/_reg_callback is not provided "
H A DseL4NotificationQueue-to.template.c135 int /*? me.interface.name ?*/_reg_callback(void (*cb)(void*), void *arg) { function
/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynchHardwareInterrupt.template.c206 int /*? me.interface.name ?*/_reg_callback(void (*callback)(void*) UNUSED, function

Completed in 105 milliseconds