diff options
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | 2018-07-11 13:15:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-11 13:15:52 +0100 |
commit | 6cbf17d11404319d79981b8566c15407cb86eefa (patch) | |
tree | fe8c8ebcafdc13e56ab67bde1d80d65ae7c9b8d5 /bl32 | |
parent | 9a93d8ccff0abe225bfabbed7970075640f90de4 (diff) | |
parent | 311a1a8ee8674f8b1a3a4797bb5856fa9d28d522 (diff) |
Merge pull request #1473 from robertovargas-arm/misra
Misra
Diffstat (limited to 'bl32')
-rw-r--r-- | bl32/sp_min/sp_min_main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bl32/sp_min/sp_min_main.c b/bl32/sp_min/sp_min_main.c index 8e891b75..f06a48bf 100644 --- a/bl32/sp_min/sp_min_main.c +++ b/bl32/sp_min/sp_min_main.c @@ -20,6 +20,7 @@ #include <smccc_helpers.h> #include <stddef.h> #include <stdint.h> +#include <std_svc.h> #include <string.h> #include <types.h> #include <utils.h> |