diff --git a/src/kernel/core/vm/vm.c b/src/kernel/core/vm/vm.c
index b12cb2370f..bb3d814c8a 100755
--- a/src/kernel/core/vm/vm.c
+++ b/src/kernel/core/vm/vm.c
@@ -1804,6 +1804,21 @@ int vm_init_postthread(kernel_args *ka)
 	return 0;
 }
 
+
+void
+permit_page_faults(void)
+{
+	// ToDo: implement me when TLS is there
+}
+
+
+void
+forbid_page_faults(void)
+{
+	// ToDo: implement me when TLS is there
+}
+
+
 int vm_page_fault(addr address, addr fault_address, bool is_write, bool is_user, addr *newip)
 {
 	int err;