VOID
)
{
- //ASSERT(FALSE);
- DEBUG((EFI_D_ERROR,"Initialize Trustzone Hardware\n"));
+ ASSERT(FALSE);
}
/**
VOID
ArmPlatformSecInitialize (
VOID
- ) {
+ )
+{
// Do nothing yet
}
OUT UINTN* JumpAddress
)
{
- *JumpAddress = PcdGet32(PcdNormalFvBaseAddress);
+ *JumpAddress = PcdGet32(PcdFvBaseAddress);
}