#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
-\r
/**\r
This function registers and enables the handler specified by InterruptHandler for a processor\r
interrupt or exception type specified by InterruptType. If InterruptHandler is NULL, then the\r
IN UINT64 Attributes\r
);\r
\r
-extern VIRTUAL_UNCACHED_PAGES_PROTOCOL gVirtualUncachedPages;\r
-\r
#endif // __CPU_DXE_ARM_EXCEPTION_H__\r