Searched refs:dst_sec_state (Results 1 – 1 of 1) sorted by relevance
234 uint32_t dst_sec_state, uint64_t x0, in rmmd_smc_forward() argument238 cpu_context_t *ctx = cm_get_context(dst_sec_state); in rmmd_smc_forward()244 cm_el2_sysregs_context_restore(dst_sec_state); in rmmd_smc_forward()245 cm_set_next_eret_context(dst_sec_state); in rmmd_smc_forward()