Searched defs:attrib (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/pruner/ | ||
H A D | main.c | 157 void print_attribute(const char *attrib) { argument 268 char *attrib = strstr(optarg, ":"); local |
Completed in 29 milliseconds