Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'data/mono.d')
-rw-r--r--data/mono.d8
1 files changed, 4 insertions, 4 deletions
diff --git a/data/mono.d b/data/mono.d
index c6447a2a0db..bb42812b0d9 100644
--- a/data/mono.d
+++ b/data/mono.d
@@ -20,10 +20,10 @@ provider mono {
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__concurrent__start__end (int generation, long long num_major_objects_marked);
+ probe gc__concurrent__update__finish__begin (int generation, long long num_major_objects_marked);
+ probe gc__concurrent__update__end (int generation, long long num_major_objects_marked);
+ probe gc__concurrent__finish__end (int generation, long long num_major_objects_marked);
probe gc__sweep__begin (int generation, int full_sweep);
probe gc__sweep__end (int generation, int full_sweep);