Home
last modified time | relevance | path

Searched refs:sdei_spsr (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c248 u_register_t sdei_spsr = SPSR_64(client_el, MODE_SP_ELX, in sdei_set_elr_spsr() local
281 sdei_spsr |= SPSR_PAN_BIT; in sdei_set_elr_spsr()
283 sdei_spsr |= (interrupted_pstate & SPSR_PAN_BIT); in sdei_set_elr_spsr()
294 sdei_spsr |= ssbs_bit; in sdei_set_elr_spsr()
299 sdei_spsr |= SPSR_TCO_BIT_AARCH64; in sdei_set_elr_spsr()
303 sdei_spsr |= (interrupted_pstate & SPSR_DIT_BIT); in sdei_set_elr_spsr()
305 cm_set_elr_spsr_el3(NON_SECURE, (uintptr_t) se->ep, sdei_spsr); in sdei_set_elr_spsr()

Completed in 3 milliseconds