Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 108a60f93deb7351872cdb1a408aedfbc137fd23)
+++ kernel/arch/ia64/src/ia64.c	(revision 751d51bfc954dc78b2e85bb938b7979e5a75b33d)
@@ -133,7 +133,7 @@
 #ifdef SKI
 		ski_init_console();
-#else	
+#else
 		ega_init(EGA_BASE, EGA_VIDEORAM);
-#endif	
+#endif
 	}
 	it_init();
@@ -266,10 +266,10 @@
 #ifdef SKI
 	ski_kbd_release();
-#else	
+#else
 #ifdef CONFIG_NS16550
 	ns16550_release();
-#else	
+#else
 	i8042_release();
-#endif	
+#endif
 #endif
 }
@@ -282,4 +282,21 @@
 }
 
+/** Construct function pointer
+ *
+ * @param fptr   function pointer structure
+ * @param addr   function address
+ * @param caller calling function address
+ *
+ * @return address of the function pointer
+ *
+ */
+void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller)
+{
+	fptr->fnc = (unative_t) addr;
+	fptr->gp = ((unative_t *) caller)[1];
+	
+	return (void *) fptr;
+}
+
 /** @}
  */
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 108a60f93deb7351872cdb1a408aedfbc137fd23)
+++ kernel/arch/ia64/src/interrupt.c	(revision 751d51bfc954dc78b2e85bb938b7979e5a75b33d)
@@ -195,6 +195,6 @@
 void disabled_fp_register(uint64_t vector, istate_t *istate)
 {
-#ifdef CONFIG_FPU_LAZY 
-	scheduler_fpu_lazy_request();	
+#ifdef CONFIG_FPU_LAZY
+	scheduler_fpu_lazy_request();
 #else
 	fault_if_from_uspace(istate, "Interruption: %#hx (%s).",
@@ -302,4 +302,8 @@
 }
 
+void trap_virtual_enable_irqs(uint16_t irqmask)
+{
+}
+
 /** @}
  */
Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision 108a60f93deb7351872cdb1a408aedfbc137fd23)
+++ kernel/arch/ia64/src/ski/ski.c	(revision 751d51bfc954dc78b2e85bb938b7979e5a75b33d)
@@ -47,5 +47,5 @@
 #include <arch/drivers/kbd.h>
 
-#define SKI_KBD_INR	0
+#define SKI_KBD_INR  0
 
 static irq_t ski_kbd_irq;
@@ -115,7 +115,7 @@
 {
 	int ch;
-
-	while(!(ch = ski_getchar()))
-		;
+	
+	while(!(ch = ski_getchar()));
+	
 	if (ch == '\r')
 		ch = '\n'; 
@@ -129,14 +129,14 @@
 	static char last; 
 	ipl_t ipl;
-
+	
 	ipl = interrupts_disable();
-
+	
 	if (kbd_disabled) {
 		interrupts_restore(ipl);
 		return;
 	}
-		
+	
 	spinlock_lock(&ski_kbd_irq.lock);
-
+	
 	ch = ski_getchar();
 	if(ch == '\r')
@@ -178,5 +178,5 @@
 static void ski_kbd_disable(chardev_t *d)
 {
-	kbd_disabled = true;	
+	kbd_disabled = true;
 }