diff options
author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-02 12:58:43 +0000 |
---|---|---|
committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-03-02 12:58:43 +0000 |
commit | a9d9d03d7de7f561fbba5c75f307c186745553bd (patch) | |
tree | 9578f9aa8c2612701313c43fbe60ec3e5ba4c324 /stdlib/gc.ml | |
parent | 368f8d963e5b5204a06fb64aabc4de71f6765ff1 (diff) | |
parent | 10561873487c185c0727f08b26706226dbb1a7b6 (diff) | |
download | ocaml-a9d9d03d7de7f561fbba5c75f307c186745553bd.tar.gz |
Merge commit '10561873487c185c0727f08b26706226dbb1a7b6' into parallel_minor_gc_4_12
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 09fad8acea..162baaf5ab 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -63,6 +63,8 @@ external compact : unit -> unit = "caml_gc_compaction" (* external get_bucket : int -> int = "caml_get_major_bucket" [@@noalloc] *) (* external get_credit : unit -> int = "caml_get_major_credit" [@@noalloc] *) (* external huge_fallback_count : unit -> int = "caml_gc_huge_fallback_count" *) +external eventlog_pause : unit -> unit = "caml_eventlog_pause" +external eventlog_resume : unit -> unit = "caml_eventlog_resume" open Printf |