Symbol: efi_file_path
sys/stand/efiboot/boot.c
164
efi_file_path(efi_bootdp, BOOTCFG_FILENAME, pathbuf, pathbuflen))
sys/stand/efiboot/efifile.h
34
int efi_file_path(EFI_DEVICE_PATH *, const char *, char *, size_t);