Searched refs:MAX_INT_BUFF_SIZE (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/tools/seL4/elfloader-tool/src/ | ||
H A D | printf.c | 17 #define MAX_INT_BUFF_SIZE 80 macro 43 char buff[MAX_INT_BUFF_SIZE]; 44 int k = MAX_INT_BUFF_SIZE - 1; |
Completed in 22 milliseconds