Searched refs:sdei_set_elr_spsr (Results 1 – 1 of 1) sorted by relevance
255 static void sdei_set_elr_spsr(sdei_entry_t *se, sdei_dispatch_context_t *disp_ctx) in sdei_set_elr_spsr() function294 sdei_set_elr_spsr(se, disp_ctx); in setup_ns_dispatch()