pub const WHEA_NOTIFICATION_TYPE_LOCALINTERRUPT: u32 = 2u32;