diff options
Diffstat (limited to 'rts/win32/GetTime.c')
| -rw-r--r-- | rts/win32/GetTime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/win32/GetTime.c b/rts/win32/GetTime.c index ec506fe4d0..bfab43a9cc 100644 --- a/rts/win32/GetTime.c +++ b/rts/win32/GetTime.c @@ -153,7 +153,7 @@ getUnixEpochTime(StgWord64 *sec, StgWord32 *nsec) *nsec = ((unsigned long)(unixtime.QuadPart % 10000000ull)) * 100ul; } -nat +W_ getPageFaults(void) { /* ToDo (on NT): better, get this via the performance data |