diff options
Diffstat (limited to 'rts/sm/OSMem.h')
-rw-r--r-- | rts/sm/OSMem.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rts/sm/OSMem.h b/rts/sm/OSMem.h index ea123e80c6..6ccbc6d98a 100644 --- a/rts/sm/OSMem.h +++ b/rts/sm/OSMem.h @@ -17,7 +17,6 @@ void osReleaseFreeMemory(void); void osFreeAllMBlocks(void); size_t getPageSize (void); StgWord64 getPhysicalMemorySize (void); -void setExecutable (void *p, W_ len, bool exec); bool osBuiltWithNumaSupport(void); // See #14956 bool osNumaAvailable(void); uint32_t osNumaNodes(void); |