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.d2
1 files changed, 2 insertions, 0 deletions
diff --git a/data/mono.d b/data/mono.d
index 7b00d5df017..be871db851c 100644
--- a/data/mono.d
+++ b/data/mono.d
@@ -33,6 +33,8 @@ provider mono {
probe gc__nursery__sweeped (void *addr, uintptr_t len);
probe gc__major__sweeped (void *addr, uintptr_t len);
+
+ probe gc__obj__pinned (void *addr, uintptr_t size, char *class_name, int generation);
};
#pragma D attributes Evolving/Evolving/Common provider mono provider