Constant MSR_IA32_BNDCFGS_RSVD 

pub const MSR_IA32_BNDCFGS_RSVD: u32 = 0xffc;