// Copyright (c) 2008-2009 Nokia Corporation and/or its subsidiary(-ies).

 // All rights reserved.

 // This component and the accompanying materials are made available

 // under the terms of the License "Eclipse Public License v1.0"

 // which accompanies this distribution, and is available

 // at the URL "http://www.eclipse.org/legal/epl-v10.html".

 //

 // Initial Contributors:

 // Nokia Corporation - initial contribution.

 //

 // Contributors:

 //

 // Description:

 // e32\nkernsmp\arm\nccpu.cia

 // 

 //

 #include <arm.h>

 #include <arm_gic.h>

 #include <arm_scu.h>

 #include <arm_tmr.h>

 #include <e32cia.h>

 extern "C" {

 __NAKED__ void KickCpu(volatile T_UintPtr* aPtr, T_UintPtr aRegsPhys)

 	{

 	asm("orr	r1, r1, #3 ");

 	asm("str	r1, [r0] ");

 	__DATA_SYNC_BARRIER__(r0);

 	ARM_SEV;

 	__JUMP(,lr);

 	}

 __NAKED__ void _ApEntry()

 	{

 	asm("str	sp, [r6] ");

 	__DATA_SYNC_BARRIER__(r0);

 	asm("ldr	r1, [r4, #%a0]" : : "i" _FOFF(SAPBootInfo,iMain));

 	asm("mov	r0, r4 ");			// pointer to SAPBootInfo

 	asm("adr	lr, 1f ");

 	__JUMP(,r1);

 	asm("1: ");

 	__ASM_CRASH();

 	}

 }