Index: sys/kern/kern_sharedpage.c
===================================================================
--- sys/kern/kern_sharedpage.c
+++ sys/kern/kern_sharedpage.c
@@ -372,3 +372,33 @@
 		    (sv->sv_fxrng_gen_base - sv->sv_shared_page_base);
 	}
 }
+
+void
+exec_sysvec_init_abi(void *param)
+{
+	struct sysentvec *sv;
+
+	sv = param;
+	MPASS((sv->sv_flags & SV_ABI_MASK) != SV_ABI_FREEBSD);
+	MPASS(sv->sv_shared_page_obj == 0);
+	MPASS(sv->sv_shared_page_base != 0);
+	MPASS((sv->sv_flags & SV_SHP) != 0);
+
+	sv->sv_shared_page_obj = shared_page_obj;
+	if ((sv->sv_flags & SV_TIMEKEEP) != 0) {
+#ifdef COMPAT_FREEBSD32
+		if ((sv->sv_flags & SV_ILP32) != 0) {
+			KASSERT(compat32_svtk != NULL,
+			    ("Compat32 not registered"));
+			sv->sv_timekeep_base = sv->sv_shared_page_base +
+			    compat32_svtk->sv_timekeep_off;
+		} else {
+#endif
+			KASSERT(host_svtk != NULL, ("Host not registered"));
+			sv->sv_timekeep_base = sv->sv_shared_page_base +
+			    host_svtk->sv_timekeep_off;
+#ifdef COMPAT_FREEBSD32
+		}
+#endif
+	}
+}
Index: sys/sys/sysent.h
===================================================================
--- sys/sys/sysent.h
+++ sys/sys/sysent.h
@@ -313,6 +313,7 @@
 int shared_page_fill(int size, int align, const void *data);
 void shared_page_write(int base, int size, const void *data);
 void exec_sysvec_init(void *param);
+void exec_sysvec_init_abi(void *param);
 void exec_sysvec_init_secondary(struct sysentvec *sv, struct sysentvec *sv2);
 void exec_inittk(void);