- // 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 `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.