HomeSort by: relevance | last modified time | path
    Searched defs:command_rndseed (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/stand/efiboot/
boot.c 102 void command_rndseed(char *);
134 { "rndseed", command_rndseed, "rndseed [dev:][filename]" },
244 command_rndseed(char *arg) function in typeref:typename:void

Completed in 11 milliseconds