Constant MD_CPU_ENABLE_PAGE_FAULTS 

pub const MD_CPU_ENABLE_PAGE_FAULTS: u32 = 16u32;