169 	static void SetIdleIPIToHighestPriority();//sets idle IPI priority to be the highest

   169 	static void SetIdleIPIToHighestPriority();//sets idle IPI priority to be the highest

   170 	static void DoIdleIPI(TUint32);

   170 	static void DoIdleIPI(TUint32);

   171 	static void ClearIdleIPI();

   171 	static void ClearIdleIPI();

   172 	static void DoWFI();//puts current CPU in wait for interrupt state

   172 	static void DoWFI();//puts current CPU in wait for interrupt state

   173 	static TBool IsIntPending();

   173 	static TBool IsIntPending();

   175 	static TUint32 GetTimerCount();//HW timer can be used for tracing

   175 	static TUint32 GetTimerCount();//HW timer can be used for tracing

   176 	//Atomic checks used to synchronise cores going idle

   176 	//Atomic checks used to synchronise cores going idle

   177 	static TBool ClearLocalAndCheckGlobalIdle(TUint32);

   177 	static TBool ClearLocalAndCheckGlobalIdle(TUint32);

   178 	static TBool SetLocalAndCheckSetGlobalIdle(TUint32);

   178 	static TBool SetLocalAndCheckSetGlobalIdle(TUint32);

   179 	static TBool FirstCoreAwake(TUint32);

   179 	static TBool FirstCoreAwake(TUint32);