#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
#include <Library/PcdLib.h>\r
\r
VOID\r
TrustedWorldInitialization (\r
- IN UINTN MpId\r
+ IN UINTN MpId,\r
+ IN UINTN SecBootMode\r
);\r
\r
VOID\r
IN INTN GicInterruptInterfaceBase\r
);\r
\r
-// Vector Table for Sec Phase\r
-VOID\r
-SecVectorTable (\r
- VOID\r
- );\r
-\r
-VOID\r
-NonSecureWaitForFirmware (\r
- VOID\r
- );\r
-\r
VOID\r
enter_monitor_mode (\r
IN UINTN MonitorEntryPoint,\r
IN UINTN MpId,\r
- IN VOID* Stack\r
+ IN UINTN SecBootMode,\r
+ IN VOID* MonitorStackBase\r
);\r
\r
VOID\r