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