Constant WHEA_DEVICE_DRIVER_CONFIG_V1 

pub const WHEA_DEVICE_DRIVER_CONFIG_V1: u32 = 1u32;