Index: kernel/arch/ia32/include/proc/task.h
===================================================================
--- kernel/arch/ia32/include/proc/task.h	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/arch/ia32/include/proc/task.h	(revision 6364d3c5a4f6a39d32c14922f17a23eaa8bb3507)
@@ -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;
 
