#ifndef _NTRTL_H _Ret_range_(<=, MAXLONG) NTSYSAPI ULONG NTAPI RtlRandomEx( _Inout_ PULONG Seed ); #endif View code on GitHub
This function is documented in Windows Driver Kit.