diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index d843796d..52e592b3 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -193,6 +193,9 @@
     get-dc
     local-to-global
     global-to-local
+    locked-for-flow?
+    locked-for-write?
+    locked-for-read?
     set-admin
     get-admin
     print-to-dc