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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserial_server.h150 bool serial_server_badge_is_allocated(seL4_Word badge_value);
H A Dserver.c100 bool serial_server_badge_is_allocated(seL4_Word badge_value) function
248 || !serial_server_badge_is_allocated(client_badge_value)) {

Completed in 27 milliseconds