test(tftf): test FPU state registers context is preserved in RL/SE/NS
Test that FPU/SIMD state are preserved during a randomly context switch
between secure/non-secure/realm(R-EL1)worlds.
FPU/SIMD state consist of the 32 SIMD vectors, FPCR and FPSR registers,
the test runs for 1000 iterations with random combination of:
SECURE_FILL_FPU, SECURE_READ_FPU, REALM_FILL_FPU, REALM_READ_FPU,
NONSECURE_FILL_FPU, NONSECURE_READ_FPU commands,to test all possible
situations of synchronous context switch between worlds, while the
content of those registers is being used.
Signed-off-by: Nabil Kahlouche <nabil.kahlouche@arm.com>
Signed-off-by: Shruti Gupta <shruti.gupta@arm.com>
Change-Id: I6da5fd334777000111924bb1239b77123a3dcea6
diff --git a/include/lib/extensions/fpu.h b/include/lib/extensions/fpu.h
index c803081..a4c4b45 100644
--- a/include/lib/extensions/fpu.h
+++ b/include/lib/extensions/fpu.h
@@ -18,6 +18,7 @@
#ifndef __ASSEMBLER__
+#include <stdbool.h>
#include <stdint.h>
typedef struct fpu_reg_state {