Searched refs:file_loadkernel (Results 1 - 2 of 2) sorted by relevance

/netbsd-6-1-5-RELEASE/sys/arch/ia64/stand/common/
H A Dboot.c72 if (file_loadkernel(argv[1], argc - 2, argv + 2) != 0)
353 if (file_loadkernel(cp, argc - 1, argv + 1) != 0)
H A Dfileload.c91 error = file_loadkernel(argv[1], argc - 2, argv + 2);
175 file_loadkernel(char *filename, int argc, char *argv[]) function

Completed in 48 milliseconds