Lines Matching defs:ret
71 uint64_t ret;
95 ret = get_random((int)x1);
96 if (ret != 0) {
97 SMC_RET2(handle, SMC_OK, ret);
107 ret = get_hw_unq_key_blob_hw((uint8_t *) x1, (uint32_t) x2);
109 if (ret == SMC_OK) {
132 ret = prefetch_disable(smc_fid, x1);
133 if (ret == SMC_OK) {
140 ret = el2_2_aarch32(smc_fid, x1, x2, x3);
147 ret = bl31_get_porsr1();
148 SMC_RET2(handle, SMC_OK, ret);