diff options
Diffstat (limited to 'drivers/firmware/psci.c')
-rw-r--r-- | drivers/firmware/psci.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/firmware/psci.c b/drivers/firmware/psci.c index c8c47acfd3..394f30fa88 100644 --- a/drivers/firmware/psci.c +++ b/drivers/firmware/psci.c @@ -8,6 +8,7 @@ #include <common.h> #include <dm.h> +#include <irq_func.h> #include <dm/lists.h> #include <efi_loader.h> #include <linux/libfdt.h> |