Constant sel4_sys::seL4_RootCNodeCapSlots::seL4_NumInitialCaps

pub const seL4_NumInitialCaps: Type = 16;