Searched refs:sdei_client_el (Results 1 – 4 of 4) sorted by relevance
257 unsigned int client_el = sdei_client_el(); in sdei_set_elr_spsr()637 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
348 ep, sdei_client_el()) != 0)) { in sdei_event_register()1003 if (GET_EL(read_spsr_el3()) != sdei_client_el()) in sdei_smc_handler()
206 See the function ``sdei_client_el()`` in ``sdei_private.h``.