Searched refs:apply_extension (Results 1 – 3 of 3) sorted by relevance
50 extern const char *apply_extension(const char *kernel, const char *ext);
104 const char *apply_extension(const char *kernel, const char *ext) in apply_extension() function205 k = apply_extension(kernel, ext); in load_kernel()
106 p = apply_extension(p, ".c32"); in execute()