diff options
Diffstat (limited to 'data/mono.d')
| -rw-r--r-- | data/mono.d | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/data/mono.d b/data/mono.d index e2f4153beff..34daae60de3 100644 --- a/data/mono.d +++ b/data/mono.d @@ -19,6 +19,11 @@ provider mono { probe gc__begin (int generation); probe gc__end (int generation); + probe gc__world__stop__begin (); + probe gc__world__stop__end (); + probe gc__world__restart__begin (); + probe gc__world__restart__end (); + probe gc__heap__alloc (uintptr_t addr, uintptr_t len); probe gc__heap__free (uintptr_t addr, uintptr_t len); |