Index: kernel/arch/amd64/include/proc/task.h
===================================================================
--- kernel/arch/amd64/include/proc/task.h	(revision 7e956eb53e39a5b6b5da0e92b2e789a596d7fc45)
+++ kernel/arch/amd64/include/proc/task.h	(revision cc76be3943a308c0e7ce268a92c9c99a4b60a84c)
@@ -40,6 +40,8 @@
 
 typedef struct {
-	count_t iomapver;	/**< I/O Permission bitmap Generation counter. */
-	bitmap_t iomap;		/**< I/O Permission bitmap. */
+	/** I/O Permission bitmap Generation counter. */
+	count_t iomapver;
+	/** I/O Permission bitmap. */
+	bitmap_t iomap;
 } task_arch_t;
 
Index: kernel/arch/amd64/src/ddi/ddi.c
===================================================================
--- kernel/arch/amd64/src/ddi/ddi.c	(revision 7e956eb53e39a5b6b5da0e92b2e789a596d7fc45)
+++ kernel/arch/amd64/src/ddi/ddi.c	(revision cc76be3943a308c0e7ce268a92c9c99a4b60a84c)
@@ -75,5 +75,6 @@
 			return ENOMEM;
 		
-		bitmap_initialize(&oldiomap, task->arch.iomap.map, task->arch.iomap.bits);
+		bitmap_initialize(&oldiomap, task->arch.iomap.map,
+		    task->arch.iomap.bits);
 		bitmap_initialize(&task->arch.iomap, newmap, bits);
 
@@ -81,5 +82,6 @@
 		 * Mark the new range inaccessible.
 		 */
-		bitmap_set_range(&task->arch.iomap, oldiomap.bits, bits - oldiomap.bits);
+		bitmap_set_range(&task->arch.iomap, oldiomap.bits,
+		    bits - oldiomap.bits);
 
 		/*
@@ -88,5 +90,6 @@
 		 */		
 		if (oldiomap.bits) {
-			bitmap_copy(&task->arch.iomap, &oldiomap, oldiomap.bits);
+			bitmap_copy(&task->arch.iomap, &oldiomap,
+			    oldiomap.bits);
 			free(oldiomap.map);
 		}
@@ -128,9 +131,10 @@
 	
 		ASSERT(TASK->arch.iomap.map);
-		bitmap_initialize(&iomap, CPU->arch.tss->iomap, TSS_IOMAP_SIZE * 8);
+		bitmap_initialize(&iomap, CPU->arch.tss->iomap,
+		    TSS_IOMAP_SIZE * 8);
 		bitmap_copy(&iomap, &TASK->arch.iomap, TASK->arch.iomap.bits);
 		/*
-		 * It is safe to set the trailing eight bits because of the extra
-		 * convenience byte in TSS_IOMAP_SIZE.
+		 * It is safe to set the trailing eight bits because of the
+		 * extra convenience byte in TSS_IOMAP_SIZE.
 		 */
 		bitmap_set_range(&iomap, ALIGN_UP(TASK->arch.iomap.bits, 8), 8);