Constant WHEA_WRITE_FLAG_DUMMY 

pub const WHEA_WRITE_FLAG_DUMMY: u32 = 1u32;