Searched refs:_notify (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/global-components/templates/ |
| H A D | seL4VirtQueues-from.template.c | 117 static void /*? me.interface.name ?*/_notify(void) { function
125 static void /*? me.interface.name ?*/_notify(void) { function
154 camkes_virtqueue_channel_register(/*? queue_id ?*/, "/*? me.interface.name ?*/", /*? queue_length ?*/, /*? me.interface.name ?*/_get_size(), (volatile void *) &/*? shmem_symbol ?*/, /*? me.interface.name ?*/_notify, /*? me.interface.name ?*/_notification(), /*? me.interface.name ?*/_notification_badge(), VIRTQUEUE_DRIVER);
156 camkes_virtqueue_channel_register(/*? queue_id ?*/, "/*? me.interface.name ?*/", /*? queue_length ?*/, /*? me.interface.name ?*/_get_size(), (volatile void *) &/*? shmem_symbol ?*/, /*? me.interface.name ?*/_notify, /*? me.interface.name ?*/_notification(), /*? me.interface.name ?*/_notification_badge(), VIRTQUEUE_DEVICE);
|
| H A D | seL4MessageQueue-from.template.c | 62 static void /*? me.interface.name ?*/_notify(void) function
75 /*? me.interface.name ?*/_notify);
|
Completed in 34 milliseconds