--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/eka/include/nkern/arm/irq_exit.h	Mon Oct 19 15:55:17 2009 +0100
@@ -0,0 +1,43 @@
+// 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/include/nkern/arm/irq_exit.h
+// 
+//
+
+#ifndef __IRQ_EXIT_H__
+#define __IRQ_EXIT_H__
+
+#include <e32def.h>
+
+/**
+	@file
+	@publishedPartner
+	@released
+*/
+
+/**
+	IRQ Postamble which will not reschedule (can be returned to by co-resident OS).
+	This routine is called after the IRQ has been dispatched.
+	It may be returned to instead of __ArmVectorIrq() if a reschedule must be avoided.
+*/
+extern "C" IMPORT_C void __ArmVectorIrqPostambleNoResched();
+
+/**
+	FIQ Postamble which will not reschedule (can be returned to by co-resident OS).
+	This routine is called after the FIQ has been dispatched.
+	It may be returned to instead of __ArmVectorFiq() if a reschedule must be avoided.
+*/
+extern "C" IMPORT_C void __ArmVectorFiqPostambleNoResched();
+
+#endif	// __IRQ_EXIT_H__