Constant optee_teec_sys::TEEC_CONFIG_PAYLOAD_REF_COUNT

pub const TEEC_CONFIG_PAYLOAD_REF_COUNT: u32 = 4;