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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserial_server.h161 seL4_Word serial_server_badge_value_get_unused(void);
H A Dserver.c112 seL4_Word serial_server_badge_value_get_unused(void) function
138 ret = serial_server_badge_value_get_unused();
161 return serial_server_badge_value_get_unused();

Completed in 29 milliseconds