85 	}

    86 

    87 /** Register the global Idle handler

    88 	Called by the base port at boot time to register a handler containing a pointer to

    89 	a function that is called by the Kernel when each core reaches idle.

    90 	Should not be called at any other time.

    91 

    92 	@param	aHandler Pointer to idle handler function

    93 	@param	aPtr Idle handler function argument

    94 */

    95 EXPORT_C void Arm::SetIdleHandler(TCpuIdleHandlerFn aHandler, TAny* aPtr)

    96 	{

    97 	ArmInterruptInfo.iCpuIdleHandler.iHandler = aHandler;

    98 	ArmInterruptInfo.iCpuIdleHandler.iPtr = aPtr;

    99 	ArmInterruptInfo.iCpuIdleHandler.iPostambleRequired = EFalse;