**/\r
\r
#include <Uefi.h>\r
-#include <Library/ArmLib.h>\r
#include <Library/BaseLib.h>\r
#include <Library/BaseMemoryLib.h>\r
#include <Library/DebugLib.h>\r
EFI_FFS_FILE_HEADER *FfsHeader;\r
PE_COFF_LOADER_IMAGE_CONTEXT ImageContext;\r
\r
- // Now we've got UART, check the Debug Agent Vector Table\r
- // Note: The AArch64 Vector table must be 2k-byte aligned - if this assertion fails ensure\r
- // 'Align=4K' is defined into your FDF for this module.\r
- ASSERT (((UINTN)DebugAgentVectorTable & ARM_VECTOR_TABLE_ALIGNMENT) == 0);\r
- ArmWriteVBar ((UINTN)DebugAgentVectorTable);\r
-\r
// We use InitFlag to know if DebugAgent has been initialized from\r
// Sec (DEBUG_AGENT_INIT_PREMEM_SEC) or PrePi (DEBUG_AGENT_INIT_POSTMEM_SEC)\r
// modules\r