109 	TEEC_Result TeecResult;  in trusty_base_write_security_data()
212 	TEEC_Result TeecResult;  in trusty_base_read_security_data()
310 	TEEC_Result TeecResult;  in trusty_base_end_security_data()
358 	TEEC_Result TeecResult;  in trusty_notify_always_use_security()
486 	TEEC_Result TeecResult;  in trusty_base_end_efuse_or_otp()
537 	TEEC_Result TeecResult;  in trusty_base_efuse_or_otp_operation()
623 	TEEC_Result res;  in trusty_notify_optee_uboot_end()
645 	TEEC_Result TeecResult;  in trusty_read_vbootkey_enable_flag()
672 	TEEC_Result TeecResult;  in trusty_ta_encryption_key_is_written()
728 	TEEC_Result TeecResult;  in trusty_oem_encrypt_data_is_written()
794 	TEEC_Result TeecResult;  in trusty_select_security_level()
821 	TEEC_Result TeecResult;  in trusty_write_oem_ns_otp()
886 	TEEC_Result TeecResult;  in trusty_read_oem_ns_otp()
953 	TEEC_Result TeecResult;  in trusty_write_oem_otp_key()
1018 	TEEC_Result TeecResult;  in trusty_oem_otp_key_is_written()
1070 	TEEC_Result TeecResult;  in trusty_set_oem_hr_otp_read_lock()
1123 	TEEC_Result TeecResult;  in trusty_oem_otp_key_cipher()
1226 	TEEC_Result TeecResult;  in trusty_write_oem_hdcp_key()
1291 	TEEC_Result TeecResult;  in trusty_oem_hdcp_key_is_written()
1343 	TEEC_Result TeecResult;  in trusty_set_oem_hdcp_key_mask()
1395 	TEEC_Result TeecResult;  in trusty_write_esck_key()
1460 	TEEC_Result TeecResult;  in trusty_esck_key_is_written()
1512 	TEEC_Result TeecResult;  in trusty_set_esck_key_mask()
1564 	TEEC_Result TeecResult;  in trusty_write_fw_encrypt_key()
1629 	TEEC_Result TeecResult;  in trusty_fw_encrypt_key_is_written()
1681 	TEEC_Result TeecResult;  in trusty_set_fw_encrypt_key_mask()
1731 	TEEC_Result TeecResult;  in trusty_oem_user_ta_transfer()
1825 	TEEC_Result TeecResult;  in trusty_oem_user_ta_storage()
1878 	TEEC_Result TeecResult;  in trusty_attest_dh()
1964 	TEEC_Result TeecResult;  in trusty_attest_uuid()
2053 	TEEC_Result TeecResult;  in trusty_attest_get_ca()
2156 	TEEC_Result TeecResult;  in trusty_attest_set_ca()
2242 	TEEC_Result TeecResult;  in trusty_fw_key_cipher()
2331 	TEEC_Result TeecResult;  in trusty_verify_config_ip()