Index: genarch/src/mm/page_ht.c
===================================================================
--- genarch/src/mm/page_ht.c	(revision 6a22fcb1d8d4c7fa9ad4454c62a6df536ba463f1)
+++ genarch/src/mm/page_ht.c	(revision dbbeb263a0a4a4e72142ee94c6c579f349ba17af)
@@ -155,10 +155,10 @@
 /** Map page to frame using page hash table.
  *
- * Map virtual address 'page' to physical address 'frame'
- * using 'flags'. 
+ * Map virtual address @page to physical address @frame
+ * using @flags. 
  *
  * The page table must be locked and interrupts must be disabled.
  *
- * @param as Address space to which page belongs.
+ * @param as Address space to which @page belongs.
  * @param page Virtual address of the page to be mapped.
  * @param frame Physical address of memory frame to which the mapping is done.
@@ -191,5 +191,5 @@
 /** Remove mapping of page from page hash table.
  *
- * Remove any mapping of 'page' within address space 'as'.
+ * Remove any mapping of @page within address space @as.
  * TLB shootdown should follow in order to make effects of
  * this call visible.
@@ -218,5 +218,5 @@
  * The page table must be locked and interrupts must be disabled.
  *
- * @param as Address space to wich page belongs.
+ * @param as Address space to wich @page belongs.
  * @param page Virtual page.
  *
Index: genarch/src/mm/page_pt.c
===================================================================
--- genarch/src/mm/page_pt.c	(revision 6a22fcb1d8d4c7fa9ad4454c62a6df536ba463f1)
+++ genarch/src/mm/page_pt.c	(revision dbbeb263a0a4a4e72142ee94c6c579f349ba17af)
@@ -50,6 +50,6 @@
 /** Map page to frame using hierarchical page tables.
  *
- * Map virtual address 'page' to physical address 'frame'
- * using 'flags'.
+ * Map virtual address @page to physical address @frame
+ * using @flags.
  *
  * The page table must be locked and interrupts must be disabled.
@@ -108,5 +108,5 @@
  * The page table must be locked and interrupts must be disabled.
  *
- * @param as Address space to wich page belongs.
+ * @param as Address space to wich @page belongs.
  * @param page Virtual address of the page to be demapped.
  */
@@ -228,5 +228,5 @@
  * The page table must be locked and interrupts must be disabled.
  *
- * @param as Address space to which page belongs.
+ * @param as Address space to which @page belongs.
  * @param page Virtual page.
  *