pub type WHEA_CPU_VENDOR = i32;