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