Symbol: efi_getdev
stand/boot/efi/loader/loader_efi.h
39
int efi_getdev(void **vdev, const char *devspec, const char **path);
stand/boot/efi/loader/main.c
205
archsw.arch_getdev = efi_getdev;