Constant mextk_sys::ASC_8000000

pub const ASC_8000000: u32 = 134217728;