Index: generic/src/synch/futex.c
===================================================================
--- generic/src/synch/futex.c	(revision 8d6bc2d55a5723b035ceb3586ac601c79ece9e54)
+++ generic/src/synch/futex.c	(revision 9dfc69a964b24b4f3fb953d10cf5dcfcf50f1014)
@@ -120,5 +120,5 @@
 		return (__native) ENOENT;
 	}
-	paddr = PFN2ADDR(PTE_GET_FRAME(t)) + (uaddr - ALIGN_DOWN(uaddr, PAGE_SIZE));
+	paddr = PTE_GET_FRAME(t) + (uaddr - ALIGN_DOWN(uaddr, PAGE_SIZE));
 	page_table_unlock(AS, true);
 	
@@ -134,6 +134,5 @@
  * @param uaddr Userspace address of the futex counter.
  *
- * @return ENOENT if there is no futex associated with the address
- *	   or if there is no physical mapping for uaddr.
+ * @return ENOENT if there is no physical mapping for uaddr.
  */
 __native sys_futex_wakeup(__address uaddr)
@@ -156,5 +155,5 @@
 		return (__native) ENOENT;
 	}
-	paddr = PFN2ADDR(PTE_GET_FRAME(t)) + (uaddr - ALIGN_DOWN(uaddr, PAGE_SIZE));
+	paddr = PTE_GET_FRAME(t) + (uaddr - ALIGN_DOWN(uaddr, PAGE_SIZE));
 	page_table_unlock(AS, true);
 	
@@ -193,5 +192,5 @@
 		/*
 		 * Upgrade to writer is not currently supported,
-		 * Therefore, it is necessary to release the read lock
+		 * therefore, it is necessary to release the read lock
 		 * and reacquire it as a writer.
 		 */