#include <Drivers/PL341Dmc.h>
#include <Drivers/SP804Timer.h>
+#include <ArmPlatform.h>
+
/**
Return if Trustzone is supported by your platform
/**
Initialize controllers that must setup in the normal world
- This function is called by the ArmPlatformPkg/Pei or ArmPlatformPkg/Pei/PlatformPeim
+ This function is called by the ArmPlatformPkg/PrePi or ArmPlatformPkg/PlatformPei
in the PEI phase.
**/