How to clear compile error when using rdrand64_step due to typedef'ing a 64-bit type?

[Jeffrey Walton]

> You've basically gone chasing after some unrelated definition (that of
> uint64_t) which has nothing to do with _rdrand64(), looking at
> unrelated implementation details of that different type, and the
> simple solution is to just use the type in the function declaration.

That's how Intel documents it.

A long time ago I was told to use Intel's documentation because GCC
does not provide it (cf.,
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=68081).

Jeff