diff --git a/headers/private/kernel/ksyscalls.h b/headers/private/kernel/ksyscalls.h
index e5d68580c6..325420feea 100755
--- a/headers/private/kernel/ksyscalls.h
+++ b/headers/private/kernel/ksyscalls.h
@@ -147,6 +147,7 @@ enum {
 	SYSCALL_ATOMIC_AND64,			/* 135 */
 	SYSCALL_ATOMIC_OR64,
 	SYSCALL_ATOMIC_GET64,
+	SYSCALL_SET_REAL_TIME_CLOCK,
 };
 
 int syscall_dispatcher(unsigned long call_num, void *arg_buffer, uint64 *call_ret);
diff --git a/headers/private/kernel/real_time_clock.h b/headers/private/kernel/real_time_clock.h
index 6cd4cefaca..51937cc56d 100644
--- a/headers/private/kernel/real_time_clock.h
+++ b/headers/private/kernel/real_time_clock.h
@@ -19,6 +19,8 @@ status_t rtc_init(kernel_args *ka);
 bigtime_t rtc_boot_time(void);
 	// Returns the time at which the system was booted in microseconds since Jan 1, 1970.
 
+void _user_set_real_time_clock(uint32 time);
+
 #ifdef __cplusplus
 }
 #endif
diff --git a/headers/private/kernel/syscalls.h b/headers/private/kernel/syscalls.h
index 39d91698e6..963d54d6e9 100644
--- a/headers/private/kernel/syscalls.h
+++ b/headers/private/kernel/syscalls.h
@@ -77,6 +77,9 @@ status_t sys_start_watching(dev_t device, ino_t node, uint32 flags,
 status_t sys_stop_watching(dev_t device, ino_t node, uint32 flags,
 			port_id port, uint32 token);
 
+// time functions
+void _kern_set_real_time_clock(uint32 time);
+
 // area functions
 area_id _kern_create_area(const char *name, void **address, uint32 addressSpec,
 			size_t size, uint32 lock, uint32 protection);