Constant TEEC_VALUE_INPUT 

pub const TEEC_VALUE_INPUT: u32 = 0x00000001;