Searched refs:userboot_getdev (Results 1 - 5 of 5) sorted by relevance
| /illumos-gate/usr/src/boot/sys/boot/userboot/userboot/ |
| H A D | libuserboot.h | 58 extern int userboot_getdev(void **, const char *, const char **);
|
| H A D | bootinfo32.c | 159 userboot_getdev((void **)(&rootdev), rootdevname, NULL);
229 userboot_getdev(NULL, kernelname, &kernelpath);
|
| H A D | devicename.c | 49 userboot_getdev(void **vdev, const char *devspec, const char **path) function
|
| H A D | main.c | 125 archsw.arch_getdev = userboot_getdev;
|
| H A D | bootinfo64.c | 207 userboot_getdev((void **)(&rootdev), rootdevname, NULL);
|
Completed in 60 milliseconds