Constant MSR_INTEGRITY_CAPS_SBAF_BIT 

pub const MSR_INTEGRITY_CAPS_SBAF_BIT: u32 = 0x8;