[PATCH v2 8/10] x86/timer: use platform feature to choose timerinit function

From: Pan, Jacob jun
Date: Thu Jul 16 2009 - 06:56:28 EST