Searched refs:get_header (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/tools/seL4/misc/ | ||
| H A D | cpio-strip.c | 43 static void *get_header(void *data, const char *filename) function 113 struct cpio_header *header = get_header(data, filename); |
Completed in 31 milliseconds