#include <Protocol/Cpu.h>\r
#include <Protocol/DebugSupport.h>\r
#include <Protocol/DebugSupportPeriodicCallback.h>\r
-#include <Protocol/VirtualUncachedPages.h>\r
#include <Protocol/LoadedImage.h>\r
\r
-\r
-#define EFI_MEMORY_CACHETYPE_MASK (EFI_MEMORY_UC | \\r
- EFI_MEMORY_WC | \\r
- EFI_MEMORY_WT | \\r
- EFI_MEMORY_WB | \\r
- EFI_MEMORY_UCE \\r
- )\r
-\r
+extern BOOLEAN mIsFlushingGCD;\r
\r
/**\r
This function registers and enables the handler specified by InterruptHandler for a processor\r
IN UINT64 Attributes\r
);\r
\r
-extern VIRTUAL_UNCACHED_PAGES_PROTOCOL gVirtualUncachedPages;\r
-\r
#endif // __CPU_DXE_ARM_EXCEPTION_H__\r