> Module Name:	src
> Committed By:	jld
> Date:		Tue Mar  7 23:08:14 UTC 2006
> 
> Modified Files:
> 	src/sys/arch/xen/i386: identcpu.c
> 	src/sys/arch/xen/xen: clock.c
> 
> Log Message:
> Improve timekeeping under Xen.  Specifically, replace use of
> cc_microtime with a MD function that isn't affected by erratic "clock
> interrupts" and instead takes more advantage of time information
> provided by the hypervisor.  Fixes, most importantly, a case where the
> clock as seen by userland would sometimes bounce back and forth by up to
> 1<<31 us (~35 min).
> 
> Approved by bouyer@; explained in more detail in
> http://mail-index.netbsd.org/port-xen/2006/02/28/0002.html
> 
> 
> To generate a diff of this commit:
> cvs rdiff -r1.9 -r1.10 src/sys/arch/xen/i386/identcpu.c
> cvs rdiff -r1.17 -r1.18 src/sys/arch/xen/xen/clock.c

KDASSERTs you added don't seem always true.
i don't think assertions are appropriate for this kind of things.

YAMAMOTO Takashi