Constant WHEA_DEVICE_DRIVER_BUFFER_SET_MAX 

pub const WHEA_DEVICE_DRIVER_BUFFER_SET_MAX: u32 = 1u32;