36dfbbf136
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> |
||
---|---|---|
.. | ||
vdso32 | ||
.gitignore | ||
checkundef.sh | ||
Makefile | ||
vclock_gettime.c | ||
vdso32-setup.c | ||
vdso32.S | ||
vdso-layout.lds.S | ||
vdso-note.S | ||
vdso.lds.S | ||
vdso.S | ||
vdsox32.lds.S | ||
vdsox32.S | ||
vgetcpu.c | ||
vma.c |