kernel::cheri::cheri_perms

Constant SEAL

Source 
pub const SEAL: usize = _; // 128usize