Constant TEEC_MEMREF_PARTIAL_OUTPUT

pub const TEEC_MEMREF_PARTIAL_OUTPUT: uint32_t = 0x0000000E;