diff options
Diffstat (limited to 'include/aarch64/arch_helpers.h')
-rw-r--r-- | include/aarch64/arch_helpers.h | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/include/aarch64/arch_helpers.h b/include/aarch64/arch_helpers.h index 133f4b7..4acf551 100644 --- a/include/aarch64/arch_helpers.h +++ b/include/aarch64/arch_helpers.h @@ -34,6 +34,7 @@ #include <arch.h> #ifndef __ASSEMBLY__ +#include <stdio.h> /******************************************************************************* * TLB maintenance accessor prototypes @@ -108,14 +109,14 @@ extern void isb(void); extern unsigned int get_afflvl_shift(unsigned int); extern unsigned int mpidr_mask_lower_afflvls(unsigned long, unsigned int); -extern void eret(unsigned long, unsigned long, - unsigned long, unsigned long, - unsigned long, unsigned long, - unsigned long, unsigned long); +extern void __dead2 eret(unsigned long, unsigned long, + unsigned long, unsigned long, + unsigned long, unsigned long, + unsigned long, unsigned long); -extern unsigned long smc(unsigned long, unsigned long, - unsigned long, unsigned long, - unsigned long, unsigned long, +extern void __dead2 smc(unsigned long, unsigned long, + unsigned long, unsigned long, + unsigned long, unsigned long, unsigned long, unsigned long); /******************************************************************************* |