Symbol: ACPI_FDT_SIZE
sys/stand/efiboot/efifdt.c
696
fdt = AllocatePool(ACPI_FDT_SIZE);
sys/stand/efiboot/efifdt.c
700
error = fdt_create_empty_tree(fdt, ACPI_FDT_SIZE);