Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision ae896561addffe016a8d8ed33bdb751cb862ccaf)
+++ kernel/arch/ia32/src/pm.c	(revision 8800b13065d75eefbc778f2b003bc4253f57fc29)
@@ -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 ae896561addffe016a8d8ed33bdb751cb862ccaf)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 8800b13065d75eefbc778f2b003bc4253f57fc29)
@@ -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.");