Searched defs:_poll (Results 1 - 7 of 7) 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 DseL4HardwareInterrupt.template.c190 int /*? me.interface.name ?*/_poll(void) { function
H A DseL4NotificationQueue-to.template.c115 int /*? me.interface.name ?*/_poll(void) { function
H A DseL4Notification-to.template.c118 int /*? me.interface.name ?*/_poll(void) { function
H A DseL4IOAPICHardwareInterrupt.template.c103 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
H A DseL4GlobalAsynchHardwareInterrupt.template.c196 int /*? me.interface.name ?*/_poll(void) { function

Completed in 87 milliseconds