Constant MSR_AMD_DBG_EXTN_CFG 

pub const MSR_AMD_DBG_EXTN_CFG: u32 = 0xc000010f;