Index: kernel/arch/amd64/src/kseg.c
===================================================================
--- kernel/arch/amd64/src/kseg.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/amd64/src/kseg.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -47,5 +47,5 @@
 	kseg_t *kseg;
 
-	kseg = (kseg_t *) malloc(sizeof(kseg_t), FRAME_ATOMIC);
+	kseg = (kseg_t *) malloc(sizeof(kseg_t));
 	if (!kseg)
 		panic("Cannot allocate kseg.");
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/amd64/src/pm.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -273,5 +273,5 @@
 		write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
 
-		tss_p = (tss_t *) malloc(sizeof(tss_t), FRAME_ATOMIC);
+		tss_p = (tss_t *) malloc(sizeof(tss_t));
 		if (!tss_p)
 			panic("Cannot allocate TSS.");
Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -320,5 +320,5 @@
 {
 
-	pl050_t *pl050 = malloc(sizeof(pl050_t), FRAME_ATOMIC);
+	pl050_t *pl050 = malloc(sizeof(pl050_t));
 	pl050->status = (ioport8_t *) icp.hw_map.kbd_stat;
 	pl050->data = (ioport8_t *) icp.hw_map.kbd_data;
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/ia32/src/pm.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -283,5 +283,5 @@
 		tss_p = &tss0;
 	} else {
-		tss_p = (tss_t *) malloc(sizeof(tss_t), FRAME_ATOMIC);
+		tss_p = (tss_t *) malloc(sizeof(tss_t));
 		if (!tss_p)
 			panic("Cannot allocate TSS.");
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -161,6 +161,5 @@
 		 */
 		descriptor_t *gdt_new =
-		    (descriptor_t *) malloc(GDT_ITEMS * sizeof(descriptor_t),
-		    FRAME_ATOMIC);
+		    (descriptor_t *) malloc(GDT_ITEMS * sizeof(descriptor_t));
 		if (!gdt_new)
 			panic("Cannot allocate memory for GDT.");
Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -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;
Index: kernel/arch/ia64/src/drivers/ski.c
===================================================================
--- kernel/arch/ia64/src/drivers/ski.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/ia64/src/drivers/ski.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -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;
Index: kernel/arch/riscv64/src/drivers/ucb.c
===================================================================
--- kernel/arch/riscv64/src/drivers/ucb.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/riscv64/src/drivers/ucb.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -65,5 +65,5 @@
 outdev_t *htifout_init(void)
 {
-	outdev_t *htifdev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *htifdev = malloc(sizeof(outdev_t));
 	if (!htifdev)
 		return NULL;
Index: kernel/arch/sparc64/src/drivers/niagara.c
===================================================================
--- kernel/arch/sparc64/src/drivers/niagara.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/sparc64/src/drivers/niagara.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -178,5 +178,5 @@
 		return;
 
-	instance = malloc(sizeof(niagara_instance_t), FRAME_ATOMIC);
+	instance = malloc(sizeof(niagara_instance_t));
 	instance->thread = thread_create(kniagarapoll, NULL, TASK,
 	    THREAD_FLAG_UNCOUNTED, "kniagarapoll");
@@ -230,5 +230,5 @@
 	ddi_parea_register(&inbuf_parea);
 
-	outdev_t *niagara_dev = malloc(sizeof(outdev_t), FRAME_ATOMIC);
+	outdev_t *niagara_dev = malloc(sizeof(outdev_t));
 	outdev_initialize("niagara_dev", niagara_dev, &niagara_ops);
 	stdout_wire(niagara_dev);
Index: kernel/arch/sparc64/src/drivers/pci.c
===================================================================
--- kernel/arch/sparc64/src/drivers/pci.c	(revision 8a1be7692f8710c1044d21f081dc5cffc0d5c33d)
+++ kernel/arch/sparc64/src/drivers/pci.c	(revision 3a2692531629e5a8a32a01cf70175a2be26e50fd)
@@ -103,5 +103,5 @@
 		return NULL;
 
-	pci = (pci_t *) malloc(sizeof(pci_t), FRAME_ATOMIC);
+	pci = (pci_t *) malloc(sizeof(pci_t));
 	if (!pci)
 		return NULL;
@@ -145,5 +145,5 @@
 		return NULL;
 
-	pci = (pci_t *) malloc(sizeof(pci_t), FRAME_ATOMIC);
+	pci = (pci_t *) malloc(sizeof(pci_t));
 	if (!pci)
 		return NULL;