\r
#include <Guid/IdleLoopEvent.h>\r
\r
+BOOLEAN mIsFlushingGCD;\r
\r
/**\r
This function flushes the range of addresses from Start to Start+Length\r
// and that calls EFI_CPU_ARCH_PROTOCOL.SetMemoryAttributes, so this code needs to go\r
// after the protocol is installed\r
//\r
+ mIsFlushingGCD = TRUE;\r
SyncCacheConfig (&mCpu);\r
+ mIsFlushingGCD = FALSE;\r
\r
// If the platform is a MPCore system then install the Configuration Table describing the\r
// secondary core states\r