Searched refs:sdei_shared_reset (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/services/std_svc/sdei/ | ||
| D | sdei_main.c | 861 static int sdei_shared_reset(void) in sdei_shared_reset() function |
Searched refs:sdei_shared_reset (Results 1 – 1 of 1) sorted by relevance
| /trusted-firmware-a-latest/services/std_svc/sdei/ | ||
| D | sdei_main.c | 861 static int sdei_shared_reset(void) in sdei_shared_reset() function |