summaryrefslogtreecommitdiff
path: root/stdlib/gc.ml
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2021-03-02 12:58:43 +0000
committerTom Kelly <ctk21@cl.cam.ac.uk>2021-03-02 12:58:43 +0000
commita9d9d03d7de7f561fbba5c75f307c186745553bd (patch)
tree9578f9aa8c2612701313c43fbe60ec3e5ba4c324 /stdlib/gc.ml
parent368f8d963e5b5204a06fb64aabc4de71f6765ff1 (diff)
parent10561873487c185c0727f08b26706226dbb1a7b6 (diff)
downloadocaml-a9d9d03d7de7f561fbba5c75f307c186745553bd.tar.gz
Merge commit '10561873487c185c0727f08b26706226dbb1a7b6' into parallel_minor_gc_4_12
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r--stdlib/gc.ml2
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