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

  /src/sys/arch/ia64/stand/common/
devopen.c 43 if ((result = archsw.arch_getdev((void *)&dev, fname, (const char **) file)) == 0) { /* get the device */
ls.c 156 if (archsw.arch_getdev(NULL, path, &cp)) {
fileload.c 237 archsw.arch_getdev(NULL, name, &cp);
bootstrap.h 312 int (*arch_getdev)(void **dev, const char *name, const char **path); member in struct:arch_switch
  /src/sys/arch/ia64/stand/ia64/ski/
main.c 120 archsw.arch_getdev = ski_getdev;
  /src/sys/arch/ia64/stand/ia64/efi/
main.c 176 archsw.arch_getdev = efi_getdev;

Completed in 13 milliseconds