#include <Base.h>\r
#include <Library/ArmLib.h>\r
#include <Library/ArmCpuLib.h>\r
+#include <Library/ArmPlatformLib.h>\r
#include <Library/ArmPlatformSecLib.h>\r
#include <Library/BaseLib.h>\r
#include <Library/DebugLib.h>\r
IN UINTN LR\r
);\r
\r
+VOID\r
+EFIAPI\r
+ArmSecArchTrustzoneInit (\r
+ VOID\r
+ );\r
+\r
#endif\r