Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 47e00b8364871fedb5a2508cfc367b91b0cb8e63)
@@ -150,5 +150,5 @@
 	);
 
-	instance = malloc(sizeof(ski_instance_t), FRAME_ATOMIC);
+	instance = malloc(sizeof(ski_instance_t));
 
 	if (instance) {
@@ -209,5 +209,5 @@
 		return NULL;
 
-	outdev_t *skidev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *skidev = malloc(sizeof(outdev_t));
 	if (!skidev)
 		return NULL;