Constant MSR_AMD64_IBSDCPHYSAD 

pub const MSR_AMD64_IBSDCPHYSAD: u32 = 0xc0011039;