#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
VOID\r
);\r
\r
-VOID\r
-NonSecureWaitForFirmware (\r
- VOID\r
- );\r
-\r
VOID\r
enter_monitor_mode (\r
IN UINTN MonitorEntryPoint,\r