diff options
Diffstat (limited to 'data')
-rw-r--r-- | data/mono.d | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/data/mono.d b/data/mono.d index 34daae60de3..76721151289 100644 --- a/data/mono.d +++ b/data/mono.d @@ -19,6 +19,15 @@ provider mono { probe gc__begin (int generation); probe gc__end (int generation); + probe gc__concurrent__start__begin (int generation); + probe gc__concurrent__start__end (int generation); + probe gc__concurrent__update__finish__begin (int generation); + probe gc__concurrent__update__end (int generation); + probe gc__concurrent__finish__end (int generation); + + probe gc__sweep__begin (int generation); + probe gc__sweep__end (int generation); + probe gc__world__stop__begin (); probe gc__world__stop__end (); probe gc__world__restart__begin (); |