Searched refs:_notification (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/global-components/templates/ |
H A D | get-notification.template.h | 14 seL4_CPtr /*? me.interface.name ?*/_notification(void);
|
H A D | get-notification.template.c | 22 seL4_CPtr /*? me.interface.name ?*/_notification(void) { function
|
H A D | seL4VirtQueues-from.template.c | 136 static seL4_CPtr /*? me.interface.name ?*/_notification(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);
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4NotificationBind-to.template.c | 20 seL4_CPtr /*? me.interface.name ?*/_notification(void) { function
|
H A D | component.rumprun.c | 56 custom_simple.timer_config.timer_ntfn = /*? timer_config_interface ?*/_notification();
|
Completed in 68 milliseconds