Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 497e3a86cd70ecaac15105ea39ef799e720f61db..a8500f0ddd8304e4ae5848251571b1789d249672 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -212,6 +212,10 @@ class OS { |
// Assign memory as a guard page so that access will cause an exception. |
static void Guard(void* address, const size_t size); |
+ // Set a fixed random seed for the random number generator used for |
+ // GetRandomMmapAddr. |
+ static void SetRandomSeed(int64_t seed); |
+ |
// Generate a random address to be used for hinting mmap(). |
static void* GetRandomMmapAddr(); |