Constant WHEA_DEVICE_DRIVER_BUFFER_SET_MAX

pub const WHEA_DEVICE_DRIVER_BUFFER_SET_MAX: u32 = 1u32;