Constant seL4_CapInitThreadVSpace 

pub const seL4_CapInitThreadVSpace: Type = 3;