| 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();
|
|
|
|
|