Re: CVS commit: src/sys/kern

[Taylor R Campbell <campbell+netbsd-source-changes-d%mumble.net@localhost>]

> Date: Sun, 01 Jul 2018 06:34:05 +0700
> From: Robert Elz <kre%munnari.OZ.AU@localhost>
> 
>     Date:        Sat, 30 Jun 2018 22:47:51 +0000
>     From:        "Taylor R Campbell" <riastradh%netbsd.org@localhost>
>     Message-ID:  <20180630224751.777CDFBEC%cvs.NetBSD.org@localhost>
> 
>   | Module Name:	src
>   | Committed By:	riastradh
>   | Date:		Sat Jun 30 22:47:51 UTC 2018
>   |
>   | Modified Files:
>   | 	src/sys/kern: kern_ntptime.c kern_tc.c
> 
>   | Enables Xen to boot again.
> 
> It does indeed.  Thanks.

Sorry about the breakage with xen_machdep.c that made finding this
tricky.  Apparently I had compiled and booted a kernel from the wrong
tree.