Searched refs:reader_t (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/lib/multiboot/ | ||
H A D | grubmenu.c | 96 typedef int (*reader_t)(FILE *, char *); typedef 99 read_string(FILE *f, reader_t reader, char **bufptr) { |
Completed in 27 milliseconds