enable_p5_mce
static inline void enable_p5_mce(void) { mce_p5_enabled = 1; }
static __always_inline void enable_p5_mce(void) {}