Searched defs:recv_badge (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | virtqueue_template.c | 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 | 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
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | virtqueue.h | 47 seL4_Word recv_badge; member in struct:virtqueue_channel
|
Completed in 27 milliseconds