Searched refs:arch_getdev (Results 1 – 7 of 7) sorted by relevance
| /dragonfly/stand/boot/common/ |
| H A D | devopen.c | 45 if ((result = archsw.arch_getdev((void *)&dev, fname, file)) == 0) { /* get the device */ in devopen()
|
| H A D | ls.c | 149 if (archsw.arch_getdev(NULL, path, &cp)) { in ls_getdir()
|
| H A D | bootstrap.h | 303 int (*arch_getdev)(void **dev, const char *name, const char **path); member
|
| H A D | module.c | 716 archsw.arch_getdev(NULL, name, &cp); in file_havepath()
|
| /dragonfly/stand/boot/pc32/loader/ |
| H A D | main.c | 273 archsw.arch_getdev = i386_getdev; in main()
|
| /dragonfly/stand/boot/efi/loader/ |
| H A D | bootinfo.c | 363 archsw.arch_getdev((void**)(&rootdev), rootdevname, NULL); in bi_load()
|
| H A D | main.c | 205 archsw.arch_getdev = efi_getdev; in main()
|