Symbol: efidisk_get_efi_system_partition
sys/arch/i386/stand/efiboot/devopen.c
293
if (efidisk_get_efi_system_partition(boot_biosdev, &partition))
sys/arch/i386/stand/efiboot/efidisk.h
43
int efidisk_get_efi_system_partition(int, int *);