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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c200 static void serial_server_registry_remove(seL4_Word badge_value) function
395 serial_server_registry_remove(client_data->badge_value);

Completed in 21 milliseconds