Searched refs:serial_server_registry_get_entry_by_badge (Results 1 - 2 of 2) sorted by relevance

/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) function
104 tmp = serial_server_registry_get_entry_by_badge(badge_value);
172 tmp = serial_server_registry_get_entry_by_badge(badge_value);
186 tmp = serial_server_registry_get_entry_by_badge(badge_value);
204 tmp = serial_server_registry_get_entry_by_badge(badge_value);
502 client_data = serial_server_registry_get_entry_by_badge(sender_badge);
H A Dserial_server.h143 serial_server_registry_entry_t *serial_server_registry_get_entry_by_badge(seL4_Word badge_value);

Completed in 69 milliseconds