Constant WHEA_BAD_PAGE_LIST_LOCATION 

pub const WHEA_BAD_PAGE_LIST_LOCATION: u32 = 15u32;