Searched refs:userboot_getdev (Results 1 – 5 of 5) sorted by relevance
| /freebsd/stand/userboot/userboot/ |
| H A D | bootinfo32.c | 77 userboot_getdev((void **)(&rootdev), rootdevname, NULL); in bi_load32()
150 userboot_getdev(NULL, kernelname, &kernelpath); in bi_load32()
|
| H A D | devicename.c | 40 userboot_getdev(void **vdev, const char *devspec, const char **path) in userboot_getdev() function
|
| H A D | libuserboot.h | 57 extern int userboot_getdev(void **, const char *, const char **);
|
| H A D | bootinfo64.c | 118 userboot_getdev((void **)(&rootdev), rootdevname, NULL); in bi_load64()
|
| H A D | main.c | 193 archsw.arch_getdev = userboot_getdev; in loader_main()
|