diff options
Diffstat (limited to 'rts/sm/OSMem.h')
| -rw-r--r-- | rts/sm/OSMem.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/sm/OSMem.h b/rts/sm/OSMem.h index 3b0cee9630..7dd0efdc23 100644 --- a/rts/sm/OSMem.h +++ b/rts/sm/OSMem.h @@ -18,6 +18,7 @@ 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); uint64_t osNumaMask(void); |