Constant MSR_AMD64_IBSOPDATA4 

pub const MSR_AMD64_IBSOPDATA4: u32 = 0xc001103d;