Searched refs:file_loadkernel (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/sys/arch/ia64/stand/common/ |
| H A D | fileload.c | 92 int error = file_loadkernel(argv[1], argc - 2, argv + 2); in command_load()
177 file_loadkernel(char *filename, int argc, char *argv[]) in file_loadkernel() function
|
| H A D | boot.c | 73 if (file_loadkernel(argv[1], argc - 2, argv + 2) != 0) in command_boot()
354 if (file_loadkernel(cp, argc - 1, argv + 1) != 0) in loadakernel()
|
| H A D | bootstrap.h | 218 int file_loadkernel(char *filename, int argc, char *argv[]);
|