Constant WHEA_DEVICE_DRIVER_BUFFER_SET_MIN 

pub const WHEA_DEVICE_DRIVER_BUFFER_SET_MIN: u32 = 1u32;