> 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