Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision 7473807b2cbcf501c8b807c52295d1ef0e1e9f37)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
@@ -56,10 +56,9 @@
 {
 	if (!task->arch.iomap) {
-		task->arch.iomap = malloc(sizeof(bitmap_t), FRAME_ATOMIC);
+		task->arch.iomap = malloc(sizeof(bitmap_t));
 		if (task->arch.iomap == NULL)
 			return ENOMEM;
 
-		void *store = malloc(bitmap_size(IO_MEMMAP_PAGES),
-		    FRAME_ATOMIC);
+		void *store = malloc(bitmap_size(IO_MEMMAP_PAGES));
 		if (store == NULL)
 			return ENOMEM;