pub const MSR_P4_BPU_PERFCTR3: c_uint = 0x00000303;