Searched refs:recv_badge (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | virtqueue_template.h | 25 * @param recv_badge Badge value for events received on the notification 31 seL4_CPtr recv_notification, seL4_Word recv_badge, virtqueue_role_t role);
|
H A D | virtqueue.h | 47 seL4_Word recv_badge; member in struct:virtqueue_channel 80 * @param recv_badge Badge value that received notifications will have. 81 * If recv_notification or recv_badge are NULL then they won't be returned. 85 seL4_CPtr *recv_notification, seL4_CPtr *recv_badge); 97 * @param recv_badge Badge value that received notifications will have. 98 * If recv_notification or recv_badge are NULL then they won't be returned. 102 seL4_CPtr *recv_notification, seL4_CPtr *recv_badge);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | virtqueue_template.c | 21 seL4_CPtr recv_notification, seL4_Word recv_badge, virtqueue_role_t role) 38 vq_channel->recv_badge = recv_badge; 19 camkes_virtqueue_channel_register(int virtqueue_id, const char *interface_name, unsigned queue_len, size_t size, volatile void *buf, void (*notify)(void), seL4_CPtr recv_notification, seL4_Word recv_badge, virtqueue_role_t role) argument
|
H A D | virtqueue.c | 100 seL4_CPtr *recv_notification, seL4_CPtr *recv_badge) 115 if (recv_badge != NULL) { 116 *recv_badge = channel->recv_badge; 124 seL4_CPtr *recv_notification, seL4_CPtr *recv_badge) 139 if (recv_badge != NULL) { 140 *recv_badge = channel->recv_badge; 99 camkes_virtqueue_driver_init_with_recv(virtqueue_driver_t *driver, unsigned int camkes_virtqueue_id, seL4_CPtr *recv_notification, seL4_CPtr *recv_badge) argument 123 camkes_virtqueue_device_init_with_recv(virtqueue_device_t *device, unsigned int camkes_virtqueue_id, seL4_CPtr *recv_notification, seL4_CPtr *recv_badge) argument
|
Completed in 32 milliseconds