Searched refs:skip_whitespace (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/lib/multiboot/ |
| H A D | grubmenu.c | 23 skip_whitespace(FILE *infile, int multiline) { function
51 skip_whitespace(infile, 1);
78 int len= skip_whitespace(infile, 0);
|
| /barrelfish-2018-10-04/tools/fastmodels/ |
| H A D | config.c | 24 skip_whitespace(const char *buf, size_t size, size_t start, int skip_newlines) { function
62 i= skip_whitespace(buf, size, i, skip_newlines);
144 cursor= skip_whitespace(buf, size, cursor, 0);
|
Completed in 88 milliseconds