- // Enter with two arguments: a code OP requesting `rdrand' (0), and a
- // pointer X_OUT to a 32-bit word. Try to generate a random word
- // using the requested instruction. If successful, set *X_OUT to the
- // generated word, and return zero; otherwise, return -1.
+ // Enter with two arguments: a code OP requesting either `rdrand' (0)
+ // or `rdseed' (1), and a pointer X_OUT to a 32-bit word. Try to
+ // generate a random word using the requested instruction'. If
+ // successful, set *X_OUT to the generated word, and return zero;
+ // otherwise, return -1.