Module Name:	src
Committed By:	jld
Date:		Sun Sep 10 22:25:58 UTC 2006

Modified Files:
	src/sys/arch/xen/xen: clock.c

Log Message:
Re-arm the Xen interval timer in the timer event handler.  This fixes
the case of HZ!=100, and might be beneficial otherwise.

The set_timer_op in idle_block remains, to protect against a system_time
miscalculation's causing us to block without the timer set; so, while
there, spl-protect the processed_system_time read and set_timer_op.


To generate a diff of this commit:
cvs rdiff -r1.28 -r1.29 src/sys/arch/xen/xen/clock.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.