Index: kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h
===================================================================
--- kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
+++ kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
@@ -66,13 +66,13 @@
 	uint64_t value;
 	struct {
-		uint64_t base : 51;	/**< TSB base address, bits 63:13. */
-		unsigned split : 1;	/**< Split vs. common TSB for 8K and 64K
-					 * pages. HelenOS uses only 8K pages
-					 * for user mappings, so we always set
-					 * this to 0.
-					 */
+		/** TSB base address, bits 63:13. */
+		uint64_t base : 51;
+		/** Split vs. common TSB for 8K and 64K pages. HelenOS uses
+		 * only 8K pages for user mappings, so we always set this to 0.
+		 */
+		unsigned split : 1;
 		unsigned : 9;
-		unsigned size : 3;	/**< TSB size. Number of entries is
-					 * 512 * 2^size. */
+		/** TSB size. Number of entries is 512 * 2^size. */
+		unsigned size : 3;
 	} __attribute__((packed));
 } tsb_base_reg_t;
Index: kernel/arch/sparc64/include/arch/sun4u/cpu.h
===================================================================
--- kernel/arch/sparc64/include/arch/sun4u/cpu.h	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
+++ kernel/arch/sparc64/include/arch/sun4u/cpu.h	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
@@ -62,11 +62,13 @@
 
 typedef struct {
-	uint32_t mid;              /**< Processor ID as read from
-	                                UPA_CONFIG/FIREPLANE_CONFIG. */
+	/** Processor ID as read from UPA_CONFIG/FIREPLANE_CONFIG. */
+	uint32_t mid;
 	ver_reg_t ver;
-	uint32_t clock_frequency;  /**< Processor frequency in Hz. */
-	uint64_t next_tick_cmpr;   /**< Next clock interrupt should be
-	                                generated when the TICK register
-	                                matches this value. */
+	/** Processor frequency in Hz. */
+	uint32_t clock_frequency;
+	/** Next clock interrupt should be generated when the TICK register
+	 * matches this value.
+	 */
+	uint64_t next_tick_cmpr;
 } cpu_arch_t;
 
Index: kernel/arch/sparc64/include/arch/sun4v/cpu.h
===================================================================
--- kernel/arch/sparc64/include/arch/sun4v/cpu.h	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
+++ kernel/arch/sparc64/include/arch/sun4v/cpu.h	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
@@ -59,12 +59,16 @@
 
 typedef struct cpu_arch {
-	uint64_t id;                  /**< virtual processor ID */
-	uint32_t clock_frequency;     /**< Processor frequency in Hz. */
-	uint64_t next_tick_cmpr;      /**< Next clock interrupt should be
-	                                   generated when the TICK register
-	                                   matches this value. */
-	exec_unit_t *exec_unit;       /**< Physical core. */
-	unsigned long proposed_nrdy;  /**< Proposed No. of ready threads
-	                                   so that cores are equally balanced. */
+	/** Virtual processor ID */
+	uint64_t id;
+	/** Processor frequency in Hz */
+	uint32_t clock_frequency;
+	/** Next clock interrupt should be generated when the TICK register
+	 * matches this value.
+	 */
+	uint64_t next_tick_cmpr;
+	/** Physical core. */
+	exec_unit_t *exec_unit;
+	/** Proposed No. of ready threads so that cores are equally balanced. */
+	unsigned long proposed_nrdy;
 } cpu_arch_t;