--- Gnu-Mach/kern/mach_clock.h	2020/09/02 04:47:35	1.1.1.2
+++ Gnu-Mach/kern/mach_clock.h	2020/09/02 04:49:54	1.1.1.3
@@ -86,9 +86,18 @@ extern boolean_t reset_timeout(timer_elt
 
 extern void init_timeout (void);
 
-/* Read the current time into STAMP.  */
+/*
+ * Record a timestamp in STAMP.  Records values in the boot-time clock
+ * frame.
+ */
 extern void record_time_stamp (time_value_t *stamp);
 
+/*
+ * Read a timestamp in STAMP into RESULT.  Returns values in the
+ * real-time clock frame.
+ */
+extern void read_time_stamp (time_value_t *stamp, time_value_t *result);
+
 extern kern_return_t host_get_time(
    host_t host,
    time_value_t *current_time);