Symbol: efi_updatefdt
sys/arch/arm64/stand/efiboot/efiboot.c
776
efi_updatefdt();
sys/arch/armv7/stand/efiboot/efiboot.c
686
efi_updatefdt();
sys/arch/riscv64/stand/efiboot/efiboot.c
662
efi_updatefdt();