Constant WHEA_PENDING_PAGE_LIST_SZ 

pub const WHEA_PENDING_PAGE_LIST_SZ: u32 = 13u32;