Index: kernel/arch/sparc64/src/mm/page.c
===================================================================
--- kernel/arch/sparc64/src/mm/page.c	(revision 5eb90cbf3afe6afd7b4236a6cc328c7c634b9ff6)
+++ kernel/arch/sparc64/src/mm/page.c	(revision f6377f722eaf2e019d585b85b3ffc5620c32f2bd)
@@ -1,4 +1,4 @@
 /*
- * Copyright (c) 2005 Jakub Jermar
+ * Copyright (c) 2009 Jakub Jermar
  * All rights reserved.
  *
@@ -46,21 +46,18 @@
 void page_arch_init(void)
 {
-	if (config.cpu_active == 1) {
+	if (config.cpu_active == 1)
 		page_mapping_operations = &ht_mapping_operations;
-	}
 }
 
 /** Map memory-mapped device into virtual memory.
  *
- * So far, only DTLB is used to map devices into memory. Chances are that there
- * will be only a limited amount of devices that the kernel itself needs to
- * lock in DTLB.
+ * We are currently using identity mapping for mapping device registers.
  *
- * @param physaddr Physical address of the page where the device is located.
- * 	Must be at least page-aligned.
- * @param size Size of the device's registers. Must not exceed 4M and must
- * 	include extra space caused by the alignment.
+ * @param physaddr	Physical address of the page where the device is
+ * 			located.
+ * @param size		Size of the device's registers. This argument is
+ * 			ignored.
  *
- * @return Virtual address of the page where the device is mapped.
+ * @return		Virtual address of the page where the device is mapped.
  */
 uintptr_t hw_map(uintptr_t physaddr, size_t size)