Changes in libcfa/src/startup.cfa [116a2ea:4020f09]

File:

• libcfa/src/startup.cfa (modified) (3 diffs)

libcfa/src/startup.cfa

@@ -10 +10 @@
 // Created On       : Tue Jul 24 16:21:57 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Oct  6 13:51:57 2022
-// Update Count     : 57
+// Last Modified On : Mon Dec  5 11:41:58 2022
+// Update Count     : 73
 //
 
@@ -18 +18 @@
 #include <stdlib.h>                                                                             // getenv
 #include "bits/defs.hfa"                                                                // rdtscl
+#include "bits/random.hfa"                                                              // rdtscl
 #include "startup.hfa"
 
-extern uint32_t __global_random_seed;                                   // sequential/concurrent
-extern uint32_t __global_random_state;                                  // sequential
+extern size_t __global_random_seed;                                             // sequential/concurrent
+extern PRNG_STATE_T __global_random_state;                              // sequential
 
 extern "C" {
@@ -68 +69 @@
         void __cfaabi_core_startup( void ) __attribute__(( constructor( STARTUP_PRIORITY_CORE ) ));
         void __cfaabi_core_startup( void ) {
-                __global_random_state = __global_random_seed = rdtscl();
+                __global_random_seed = rdtscl();
+                PRNG_SET_SEED( __global_random_state, __global_random_seed );
+
                 __cfaabi_interpose_startup();
                 __cfaabi_device_startup();