Symbol: efi_fdt_userconf
sys/stand/efiboot/efifdt.c
640
efi_fdt_userconf();
sys/stand/efiboot/efifdt.h
47
void efi_fdt_userconf(void);