Searched refs:ctx_out (Results 1 – 1 of 1) sorted by relevance
| /rk3399_ARM-atf/services/std_svc/spmd/ |
| H A D | spmd_main.c | 757 void *ctx_out; in spmd_smc_switch_state() local
793 ctx_out = cm_get_context(secure_state_out); in spmd_smc_switch_state()
795 SMC_RET0(ctx_out); in spmd_smc_switch_state()
801 SMC_RET18(ctx_out, smc_fid, x1, x2, x3, x4, in spmd_smc_switch_state()
808 SMC_RET18(ctx_out, smc_fid, x1, x2, x3, x4, in spmd_smc_switch_state()
826 SMC_RET8(ctx_out, smc_fid, x1, x2, x3, x4, in spmd_smc_switch_state()
|