Re: [PATCH] x86: use PIT_TICK_RATE consistently

From: Arnd Bergmann
Date: Mon May 11 2009 - 19:05:31 EST