On Mon, Dec 31, 2007 at 12:29:59AM -0600, David Young wrote:

> I'm writing a device detachment routine for geodecntr(4), which provides
> a timecounter.  I've come up with the attached routine for detaching
> a timecounter.  Is it ok?

I'd say splsched only across this block:

> +	(void)best->tc_get_timecount(best);
> +	(void)best->tc_get_timecount(best);
> +	timecounter = best;
> +	tc_windup();

Thanks,
Andrew