Searched refs:recv_badge (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvirtqueue_template.h25 * @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 Dvirtqueue.h47 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 Dvirtqueue_template.c21 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 Dvirtqueue.c100 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