// Copyright (c) 2007-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:
//

#include <x86_mem.h>

#if defined(KMMU)
extern "C" void __DebugMsgFlushTLB();
extern "C" void __DebugMsgLocalFlushTLB();
extern "C" void __DebugMsgTotalFlushTLB();
extern "C" void __DebugMsgINVLPG(int a);
#endif


__NAKED__ void __fastcall DoInvalidateTLBForPage(TLinAddr /*aLinAddr*/)
//
// Flush a specified virtual address from the TLB.
//
	{
	ASM_DEBUG1(INVLPG,ecx)
	asm("invlpg [ecx]");
	asm("ret");
	}

// On 486 and Pentium this invalidates all TLB entries.
// On P6 and later CPUs it only invalidates non-global TLB entries.
__NAKED__ void DoLocalInvalidateTLB()
	{
	ASM_DEBUG0(LocalFlushTLB)
	asm("mov eax, cr3");
	asm("mov cr3, eax");
	asm("ret");
	}

// Invalidate all TLB entries regardless of CPU type.
__NAKED__ void DoInvalidateTLB()
	{
	ASM_DEBUG0(FlushTLB)
	asm("mov edx, [%a0]": : "i"(&X86_UseGlobalPTEs));
	asm("mov eax, cr3");
	asm("cmp edx, 0");
	asm("jz no_global_pages");
	MOV_ECX_CR4;
	asm("mov edx, ecx");
	asm("and dl, 0x7f");
	asm("pushfd");
	asm("cli");
	MOV_CR4_EDX;
	asm("mov cr3, eax");
	MOV_CR4_ECX;
	asm("popfd");
	asm("ret");
	asm("no_global_pages:");
	asm("mov cr3, eax");
	asm("ret");
	}

__NAKED__ void __fastcall UserWriteFault(TLinAddr /*aAddr*/)
	{
	// must use ES for writes because IpcExcHandler expects this...
	asm("push es");
	asm("mov eax, %0" : : "i"(RING3_DS));
	asm("mov es, ax");
	asm("mov es:[ecx], ecx");
	asm("pop es");
	asm("ret");
	}

__NAKED__ void __fastcall UserReadFault(TLinAddr /*aAddr*/)
	{	
	// must use DS for reads because IpcExcHandler expects this...
	asm("push ds");
	asm("mov eax, %0" : : "i"(RING3_DS));
	asm("mov ds, ax");
	asm("mov eax, [ecx]");
	asm("pop ds");
	asm("ret");
	}

#ifdef __SMP__
extern "C" __NAKED__ void __e32_instruction_barrier()
	{
	asm("push ebx ");
	asm("cpuid ");		// fully serializing instruction
	asm("pop ebx ");
	asm("ret ");
	}
#endif