Symbol: efi_updatefdt
sys/arch/arm64/stand/efiboot/efiboot.c
714
efi_updatefdt(void)
sys/arch/armv7/stand/efiboot/efiboot.c
617
efi_updatefdt(void)
sys/arch/riscv64/stand/efiboot/efiboot.c
601
efi_updatefdt(void)