HomeSort by: relevance | last modified time | path
    Searched defs:booted_file (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/acorn32/stand/boot32/
boot32.c 65 char booted_file[80]; variable in typeref:typename:char[80]
683 strcpy(bconfig->kernelname, booted_file);
689 i = strlen(booted_file);
690 while (i >= 0 && booted_file[i] != '.') i--;
693 strcat(bconfig->kernelname, booted_file+i+1);
816 process_args(argc, argv, &howto, booted_file, &start_args);
818 printf("Booting %s (howto = 0x%x)\n", booted_file, howto);
840 printf("\nLoading %s ", booted_file);
843 ret = loadfile(booted_file, marks, COUNT_KERNEL);
864 ret = loadfile(booted_file, marks, LOAD_KERNEL)
    [all...]

Completed in 117 milliseconds