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

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c67 #define BADGE_TO_COLOR(badge) (colors[(badge) % NUM_COLORS]) macro
377 printf("%s", BADGE_TO_COLOR(client_data->badge_value));

Completed in 68 milliseconds