[][src]Constant uikit_sys::KERN_ABORTED

pub const KERN_ABORTED: u32 = 14;