Symbol: efi_fdt_init
sys/stand/efiboot/efifdt.c
633
efi_fdt_init((marks[MARK_END] + FDT_ALIGN - 1) & -FDT_ALIGN, FDT_ALIGN);
sys/stand/efiboot/efifdt.h
48
void efi_fdt_init(u_long, u_long);