--- Gnu-Mach/kern/mach_clock.h	2020/09/02 04:49:54	1.1.1.3
+++ 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);