Constant WHEA_PENDING_PAGE_LIST_SZ

pub const WHEA_PENDING_PAGE_LIST_SZ: u32 = 13u32;