Constant TEEC_MEMREF_PARTIAL_INPUT 

pub const TEEC_MEMREF_PARTIAL_INPUT: u32 = 0x0000000D;