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