diff --git a/src/rt/rustrt.def.in b/src/rt/rustrt.def.in
index d85700435e00..a08a142df771 100644
--- a/src/rt/rustrt.def.in
+++ b/src/rt/rustrt.def.in
@@ -245,4 +245,6 @@ rust_update_log_settings
 rust_running_on_valgrind
 rust_get_num_cpus
 rust_get_global_args_ptr
-rust_current_boxed_region
\ No newline at end of file
+rust_current_boxed_region
+rust_take_global_args_lock
+rust_drop_global_args_lock
\ No newline at end of file