Constant TEEC_CONFIG_PAYLOAD_REF_COUNT

pub const TEEC_CONFIG_PAYLOAD_REF_COUNT: uint32_t = 4;