--- a/kernel/eka/nkernsmp/nk_irq.cpp	Tue Jan 19 13:48:03 2010 +0000
+++ b/kernel/eka/nkernsmp/nk_irq.cpp	Mon Jan 18 21:31:10 2010 +0200
@@ -743,7 +743,7 @@
 	{
 	TRACE_IRQ4(8, aId);
 	__KTRACE_OPT(KNKERN,DEBUGPRINT(">NKIU: ID=%08x", aId));
-	CHECK_PRECONDITIONS(MASK_THREAD_STANDARD,"NKern::InterruptBind");
+	CHECK_PRECONDITIONS(MASK_THREAD_STANDARD,"NKern::InterruptUnbind");
 	NIrq* pI;
 	NIrqHandler* pH;
 	TInt r = NIrq::FromHandle(aId, pI, pH);