Constant mextk_sys::ASC_1000

pub const ASC_1000: u32 = 4096;