Constant WHEA_SECTION_DESCRIPTOR_FLAGS_PROPAGATED

pub const WHEA_SECTION_DESCRIPTOR_FLAGS_PROPAGATED: u32 = 64u32;