HPET_COUNTER       13 arch/mips/include/asm/hpet.h #define HPET_COUNTER	0x0f0
HPET_COUNTER       15 arch/x86/include/asm/hpet.h #define HPET_COUNTER		0x0f0