Searched defs:badge_value (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dclient.h64 seL4_Word badge_value; member in struct:_serial_client_context
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c84 serial_server_registry_entry_t *serial_server_registry_get_entry_by_badge(seL4_Word badge_value) argument
100 bool serial_server_badge_is_allocated(seL4_Word badge_value) argument
164 serial_server_badge_value_free(seL4_Word badge_value) argument
180 serial_server_registry_insert(seL4_Word badge_value, void *shmem, seL4_CPtr *shmem_frame_caps, size_t shmem_size) argument
200 serial_server_registry_remove(seL4_Word badge_value) argument
[all...]
H A Dserial_server.h112 seL4_Word badge_value; member in struct:_serial_server_registry_entry

Completed in 25 milliseconds