diff options
Diffstat (limited to 'rts/Proftimer.h')
| -rw-r--r-- | rts/Proftimer.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/rts/Proftimer.h b/rts/Proftimer.h new file mode 100644 index 0000000000..c837b855f9 --- /dev/null +++ b/rts/Proftimer.h @@ -0,0 +1,22 @@ +/* ----------------------------------------------------------------------------- + * + * (c) The GHC Team, 1998-2005 + * + * Profiling interval timer + * + * ---------------------------------------------------------------------------*/ + +#ifndef PROFTIMER_H +#define PROFTIMER_H + +extern void initProfTimer ( void ); +extern void handleProfTick ( void ); + +extern void stopProfTimer ( void ); +extern void startProfTimer ( void ); +extern void stopHeapProfTimer ( void ); +extern void startHeapProfTimer ( void ); + +extern rtsBool performHeapProfile; + +#endif /* PROFTIMER_H */ |