#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
IN UINT64 Attributes\r
);\r
\r
-extern VIRTUAL_UNCACHED_PAGES_PROTOCOL gVirtualUncachedPages;\r
-\r
#endif // __CPU_DXE_ARM_EXCEPTION_H__\r