Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision dfe9e2c6efbaee346e82beee24c5d11d7e7cec6d)
+++ kernel/generic/src/ipc/irq.c	(revision 49319acaa805c75ddb5bb087f767d7b9589f91ce)
@@ -106,5 +106,5 @@
 			break;
 #endif
-#if defined(ia64) 
+#if defined(ia64) && defined(SKI)
 		case CMD_IA64_GETCHAR:
 			dstval = _getc(&ski_uconsole);