diff options
Diffstat (limited to 'drivers/arm/tzc400/tzc400.c')
| -rw-r--r-- | drivers/arm/tzc400/tzc400.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/drivers/arm/tzc400/tzc400.c b/drivers/arm/tzc400/tzc400.c index 56c6dea7..c1716db4 100644 --- a/drivers/arm/tzc400/tzc400.c +++ b/drivers/arm/tzc400/tzc400.c @@ -29,10 +29,10 @@ */ #include <assert.h> -#include <arch_helpers.h> -#include <tzc400.h> -#include <mmio.h> #include <debug.h> +#include <mmio.h> +#include <stddef.h> +#include <tzc400.h> static uint32_t tzc_read_build_config(uint64_t base) { |