Symbol: efi_fdt_module
sys/stand/efiboot/efifdt.c
581
efi_fdt_module(module_name, (u_long)addr, size);
sys/stand/efiboot/efifdt.h
46
void efi_fdt_module(const char *, u_long, u_long);