diff options
Diffstat (limited to 'services/std_svc/sdei/sdei_state.c')
| -rw-r--r-- | services/std_svc/sdei/sdei_state.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/services/std_svc/sdei/sdei_state.c b/services/std_svc/sdei/sdei_state.c index 66657862..1b448e62 100644 --- a/services/std_svc/sdei/sdei_state.c +++ b/services/std_svc/sdei/sdei_state.c @@ -5,8 +5,10 @@ */ #include <assert.h> -#include <cassert.h> #include <stdbool.h> + +#include <lib/cassert.h> + #include "sdei_private.h" /* Aliases for SDEI handler states: 'R'unning, 'E'nabled, and re'G'istered */ |