Constant TEEC_VALUE_OUTPUT 

pub const TEEC_VALUE_OUTPUT: u32 = 0x00000002;