ArchPrePi.c

Go to the documentation of this file.

 
#include "PrePi.h"
 
VOID
ArchInitialize (
  VOID
  )
{
  // Enable Floating Point
  if (FixedPcdGet32 (PcdVFPEnabled)) {
    ArmEnableVFP ();
  }
}