Symbol: get_rndseed_path
sys/stand/efiboot/efiboot.h
66
char *get_rndseed_path(void);
sys/stand/efiboot/efifdt.c
630
load_file(get_rndseed_path(), 0, false,