Constant seL4_CapInitThreadSC 

pub const seL4_CapInitThreadSC: Type = 14;