Constant TEEC_VALUE_INPUT

pub const TEEC_VALUE_INPUT: uint32_t = 0x00000001;