Symbol: efi_fdt_set_data
sys/stand/efiboot/efifdt.c
619
if (dtb_addr && efi_fdt_set_data((void *)(uintptr_t)dtb_addr) != 0) {
sys/stand/efiboot/efifdt.c
719
return efi_fdt_set_data(fdt);
sys/stand/efiboot/efifdt.h
36
int efi_fdt_set_data(void *);