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 | ||