Constant WHEA_IN_USE_PAGE_NOTIFY_FLAG_PAGEOFFLINED 

pub const WHEA_IN_USE_PAGE_NOTIFY_FLAG_PAGEOFFLINED: u32 = 128u32;