⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

CAP_RIGHT_MAP

veridian_kernel::verification::cap_proofs

Constant CAP_RIGHT_MAP 

Source 
pub const CAP_RIGHT_MAP: u32 = _; // 32u32