HomeSort by: relevance | last modified time | path
    Searched refs:file_loadkernel (Results 1 - 3 of 3) sorted by relevancy

  /src/sys/arch/ia64/stand/common/
boot.c 73 if (file_loadkernel(argv[1], argc - 2, argv + 2) != 0)
354 if (file_loadkernel(cp, argc - 1, argv + 1) != 0)
fileload.c 92 int error = file_loadkernel(argv[1], argc - 2, argv + 2);
177 file_loadkernel(char *filename, int argc, char *argv[]) function in typeref:typename:int
bootstrap.h 218 int file_loadkernel(char *filename, int argc, char *argv[]);

Completed in 15 milliseconds