Constant MSR_CONFIG_TDP_LEVEL_1 

pub const MSR_CONFIG_TDP_LEVEL_1: u32 = 0x649;