Constant WHEA_FIRMWARE_RECORD_TYPE_IPFSAL 

pub const WHEA_FIRMWARE_RECORD_TYPE_IPFSAL: u32 = 0u32;