//\r
SyncCacheConfig (&mCpu);\r
\r
+ // If the platform is a MPCore system then install the Configuration Table describing the\r
+ // secondary core states\r
+ if (ArmIsMPCore()) {\r
+ PublishArmProcessorTable();\r
+ }\r
+\r
//\r
// Setup a callback for idle events\r
//\r