Constant seL4_CapTableObject 

pub const seL4_CapTableObject: Type = 4;