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