--- 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:52:01	1.1.1.4
@@ -62,7 +62,8 @@ typedef	struct timer_elt	*timer_elt_t;
 extern void clock_interrupt(
    int usec,
    boolean_t usermode,
-   boolean_t basepri);
+   boolean_t basepri,
+   vm_offset_t pc);
 
 extern void softclock (void);
 
@@ -86,9 +87,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);