Constant seL4_TCBFlag_NoFlag 

pub const seL4_TCBFlag_NoFlag: Type = 0;