Searched refs:sdei_client_el (Results 1 – 4 of 4) sorted by relevance
266 SPSR_64(sdei_client_el(), MODE_SP_ELX, in setup_ns_dispatch()610 unsigned int client_el = sdei_client_el(); in sdei_event_complete()
164 static inline unsigned int sdei_client_el(void) in sdei_client_el() function
345 ep, sdei_client_el()) != 0)) { in sdei_event_register()954 if (GET_EL(read_spsr_el3()) != sdei_client_el()) in sdei_smc_handler()
206 See the function ``sdei_client_el()`` in ``sdei_private.h``.