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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dparentapi.c194 seL4_Word new_badge_value = serial_server_badge_value_alloc(); local
195 if (new_badge_value == SERIAL_SERVER_BADGE_VALUE_EMPTY) {
205 new_badge_value);
224 seL4_Word new_badge_value = serial_server_badge_value_alloc(); local
225 if (new_badge_value == SERIAL_SERVER_BADGE_VALUE_EMPTY) {
231 new_badge_value);
242 seL4_Word new_badge_value = serial_server_badge_value_alloc(); local
243 if (new_badge_value == SERIAL_SERVER_BADGE_VALUE_EMPTY) {
250 new_badge_value);

Completed in 20 milliseconds