HPET_ID_64BIT      35 arch/mips/include/asm/hpet.h #define HPET_ID_64BIT		0x00002000
HPET_ID_64BIT      33 arch/x86/include/asm/hpet.h #define HPET_ID_64BIT		0x00002000