Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

    Searched refs:efi_getdev (Results 1 - 4 of 4) sorted by relevancy

/src/sys/arch/ia64/stand/efi/libefi/
efiboot.h	58 extern int efi_getdev(void **vdev, const char *devspec, const char **path);
bootinfo.c	234 efi_getdev((void **)(&rootdev), rootdevname, NULL);
devicename.c	52 efi_getdev(void **vdev, const char *devspec, const char **path) function in typeref:typename:int
/src/sys/arch/ia64/stand/ia64/efi/
main.c	176 archsw.arch_getdev = efi_getdev;

Completed in 13 milliseconds

Indexes created Wed Oct 01 15:09:59 GMT 2025