Constant seL4_CapInitThreadTCB

pub const seL4_CapInitThreadTCB: Type = 1;