74   OUT     UINT16                    *Rand  in GetRandomNumber16()  argument
79   ASSERT (Rand != NULL);  in GetRandomNumber16()
85     if (AsmRdRand16 (Rand)) {  in GetRandomNumber16()
107   OUT     UINT32                    *Rand  in GetRandomNumber32()  argument
112   ASSERT (Rand != NULL);  in GetRandomNumber32()
118     if (AsmRdRand32 (Rand)) {  in GetRandomNumber32()
140   OUT     UINT64                    *Rand  in GetRandomNumber64()  argument
145   ASSERT (Rand != NULL);  in GetRandomNumber64()
151     if (AsmRdRand64 (Rand)) {  in GetRandomNumber64()
173   OUT     UINT64                    *Rand  in GetRandomNumber128()  argument
176   ASSERT (Rand != NULL);  in GetRandomNumber128()
181   if (!GetRandomNumber64 (Rand)) {  in GetRandomNumber128()
188   return GetRandomNumber64 (++Rand);  in GetRandomNumber128()