- // Enter with one argument: a pointer X_OUT to a 32-bit word. Try to
- // generate a random word using `rdrand'. 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.