Constant WHEA_SECTION_DESCRIPTOR_FLAGS_PROPAGATED 

pub const WHEA_SECTION_DESCRIPTOR_FLAGS_PROPAGATED: u32 = 64u32;