diff options
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 52bd066b7..0faca8d51 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -56,12 +56,14 @@ Tcl_Interp *yosys_tcl_interp = NULL; #endif bool memhasher_active = false; -uint32_t memhasher_rng; +uint32_t memhasher_rng = 123456; std::vector<void*> memhasher_store; void memhasher_on() { +#ifdef __linux__ memhasher_rng += time(NULL) << 16 ^ getpid(); +#endif memhasher_store.resize(0x10000); memhasher_active = true; } |