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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserial_server.h174 void serial_server_badge_value_free(seL4_Word badge_value);
H A Dparentapi.c180 serial_server_badge_value_free(get_serial_server()->parent_badge_value);
H A Dserver.c164 void serial_server_badge_value_free(seL4_Word badge_value) function
208 serial_server_badge_value_free(badge_value);

Completed in 26 milliseconds