diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2015-11-18 12:22:02 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-18 12:53:50 +0100 |
| commit | 6b3d5b5990b9b306e13575e60d7e1c8ce264b0ef (patch) | |
| tree | 3d7ac58f233767e78de8eec6bde7f81ec46f6485 /rts/Stats.h | |
| parent | f9e17fd70d466fc00825f7324c944609f5c09251 (diff) | |
| download | haskell-6b3d5b5990b9b306e13575e60d7e1c8ce264b0ef.tar.gz | |
rts: Kill PAPI support
This hasn't been used for a very long time and will soon be superceded
by perf_events support.
Test Plan: validate
Reviewers: austin, simonmar
Reviewed By: austin, simonmar
Subscribers: thomie, erikd
Differential Revision: https://phabricator.haskell.org/D1493
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index 76b522287e..b7ced97a45 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -66,12 +66,8 @@ double mut_user_time_during_heap_census(void); void statDescribeGens( void ); -Time stat_getElapsedGCTime(void); -Time stat_getElapsedTime(void); - -/* Only exported for Papi.c */ -void statsPrintf( char *s, ... ) - GNUC3_ATTRIBUTE(format (PRINTF, 1, 2)); +Time stat_getElapsedGCTime(void); +Time stat_getElapsedTime(void); #include "EndPrivate.h" |