Constant WHEA_DEVICE_DRIVER_CONFIG_MAX 

pub const WHEA_DEVICE_DRIVER_CONFIG_MAX: u32 = 2u32;