Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 13db20447e9ad45e946906ed3a8fb2e7b7de7f23)
@@ -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;