Searched refs:dst_sec_state (Results 1 – 1 of 1) sorted by relevance
248 uint32_t dst_sec_state, uint64_t x0, in rmmd_smc_forward() argument253 cpu_context_t *ctx = cm_get_context(dst_sec_state); in rmmd_smc_forward()262 cm_el2_sysregs_context_restore(dst_sec_state); in rmmd_smc_forward()264 cm_el2_sysregs_context_restore_gic(dst_sec_state); in rmmd_smc_forward()267 cm_set_next_eret_context(dst_sec_state); in rmmd_smc_forward()