Symbol: command_rndseed
sys/stand/efiboot/boot.c
102
void command_rndseed(char *);
sys/stand/efiboot/boot.c
134
{ "rndseed", command_rndseed, "rndseed [dev:][filename]" },