Symbol: efi_fdt_rndseed
sys/stand/efiboot/efifdt.c
637
efi_fdt_rndseed(rndseed_addr, rndseed_size);
sys/stand/efiboot/efifdt.h
44
void efi_fdt_rndseed(u_long, u_long);