Symbol: set_rndseed_path
sys/stand/efiboot/boot.c
246
set_rndseed_path(arg);
sys/stand/efiboot/efiboot.h
65
int set_rndseed_path(const char *);