Subject: CVS commit: [simonb-timecounters] src/sys/arch/i386/i386
To: None <>
From: Simon Burge <>
List: source-changes
Date: 02/04/2006 15:10:42
Module Name:	src
Committed By:	simonb
Date:		Sat Feb  4 15:10:42 UTC 2006

Modified Files:
	src/sys/arch/i386/i386 [simonb-timecounters]: ipifuncs.c

Log Message:
The microset IPI isn't used with timecounters (yet?).

To generate a diff of this commit:
cvs rdiff -r1.12 -r1.12.6.1 src/sys/arch/i386/i386/ipifuncs.c

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