/* A timecounter: Xen system_time extrapolated with a TSC. */ /* ARGSUSED */