timers/x86/hpet: Use HPET_COUNTER to specify the hpet counter in vread_hpet()
authorSatoru Takeuchi <takeuchi_satoru@jp.fujitsu.com>
Fri, 15 Feb 2013 07:58:14 +0000 (16:58 +0900)
committerIngo Molnar <mingo@kernel.org>
Fri, 15 Feb 2013 11:13:18 +0000 (12:13 +0100)
commit36dfbbf136db0d645bacfd42ce7d9d6928ea532d
treeb74f1cec44f54b4f4ddf12884bda6e4fbd697bbb
parente6c42c295e071dd74a66b5a9fcf4f44049888ed8
timers/x86/hpet: Use HPET_COUNTER to specify the hpet counter in vread_hpet()

vread_hpet() uses "0xf0" as the offset of the hpet counter. To
clarify the meaning of this code, it should use symbolic name,
HPET_COUNTER, instead.

Signed-off-by: Satoru Takeuchi <takeuchi_satoru@jp.fujitsu.com>
Cc: H. Peter Anvin <hpa@linux.intel.com>
Cc: "H. Peter Anvin" <hpa@zytor.com>
Signed-off-by: Ingo Molnar <mingo@kernel.org>
arch/x86/vdso/vclock_gettime.c