Constant WHEA_ERROR_RECORD_VALID_PLATFORMID 

pub const WHEA_ERROR_RECORD_VALID_PLATFORMID: u32 = 1u32;