pub const WHEA_WRITE_FLAG_DUMMY: u32 = 1u32;