diff options
Diffstat (limited to 'data')
| -rw-r--r-- | data/mono.d | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/data/mono.d b/data/mono.d index fdc40124192..6d5ba78d079 100644 --- a/data/mono.d +++ b/data/mono.d @@ -33,6 +33,9 @@ provider mono { probe gc__major__obj__alloc__degraded (void *addr, uintptr_t size, char *ns_name, char *class_name); probe gc__major__obj__alloc__mature (void *addr, uintptr_t size, char *ns_name, char *class_name); + /* Can be nursery->nursery, nursery->major or major->major */ + probe gc__obj__moved (void *dest, void *src, int dest_gen, int src_gen, uintptr_t size, char *ns_name, char *class_name); + probe gc__nursery__sweeped (void *addr, uintptr_t len); probe gc__major__sweeped (void *addr, uintptr_t len); |