Constant XCHAL_NO_PAGES_MAPPED 

pub const XCHAL_NO_PAGES_MAPPED: i32 = -1;