Searched refs:_poll (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4NotificationNative-to.template.c32 int /*? me.interface.name ?*/_poll(void) { function
H A DseL4IOAPICHardwareInterrupt.template.c103 int /*? me.interface.name ?*/_poll(void) { function
108 while (!/*? me.interface.name ?*/_poll()) {
H A DseL4HardwareInterrupt.template.c190 int /*? me.interface.name ?*/_poll(void) { function
H A DseL4Notification-to.template.c118 int /*? me.interface.name ?*/_poll(void) { function
H A Dcomponent.template.h152 int /*? c.name ?*/_poll(void) WARN_UNUSED_RESULT
154 /*- if irq[0] -*/ WARNING("/*? c.name ?*/_poll is not provided by "
H A DseL4NotificationQueue-to.template.c115 int /*? me.interface.name ?*/_poll(void) { function
/seL4-camkes-master/projects/global-components/templates/
H A DseL4MessageQueue-to.template.c46 static int _/*? me.interface.name ?*/_poll() function
70 _/*? me.interface.name ?*/_poll,
H A DseL4GlobalAsynchHardwareInterrupt.template.c196 int /*? me.interface.name ?*/_poll(void) { function

Completed in 50 milliseconds