sel4_config::consts

Constant HUGE_PAGE

Source 
pub const HUGE_PAGE: bool = true;