Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision bbfdf62eecb75fb74d785cdd587affc613b7ffe9)
+++ kernel/generic/src/mm/as.c	(revision 0737078089c7303e45c2821ff585eb62cd0963b2)
@@ -987,5 +987,5 @@
  *
  */
-bool as_area_check_access(as_area_t *area, pf_access_t access)
+NO_TRACE bool as_area_check_access(as_area_t *area, pf_access_t access)
 {
 	int flagmap[] = {
@@ -1385,6 +1385,4 @@
 }
 
-
-
 /** Compute flags for virtual address translation subsytem.
  *
@@ -1394,5 +1392,5 @@
  *
  */
-unsigned int as_area_get_flags(as_area_t *area)
+NO_TRACE unsigned int as_area_get_flags(as_area_t *area)
 {
 	ASSERT(mutex_locked(&area->lock));
@@ -1412,5 +1410,5 @@
  *
  */
-pte_t *page_table_create(unsigned int flags)
+NO_TRACE pte_t *page_table_create(unsigned int flags)
 {
 	ASSERT(as_operations);
@@ -1427,5 +1425,5 @@
  *
  */
-void page_table_destroy(pte_t *page_table)
+NO_TRACE void page_table_destroy(pte_t *page_table)
 {
 	ASSERT(as_operations);
@@ -1448,5 +1446,5 @@
  *
  */
-void page_table_lock(as_t *as, bool lock)
+NO_TRACE void page_table_lock(as_t *as, bool lock)
 {
 	ASSERT(as_operations);
@@ -1462,5 +1460,5 @@
  *
  */
-void page_table_unlock(as_t *as, bool unlock)
+NO_TRACE void page_table_unlock(as_t *as, bool unlock)
 {
 	ASSERT(as_operations);
@@ -1477,5 +1475,5 @@
  *         are locked, otherwise false.
  */
-bool page_table_locked(as_t *as)
+NO_TRACE bool page_table_locked(as_t *as)
 {
 	ASSERT(as_operations);
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision bbfdf62eecb75fb74d785cdd587affc613b7ffe9)
+++ kernel/generic/src/mm/frame.c	(revision 0737078089c7303e45c2821ff585eb62cd0963b2)
@@ -133,5 +133,8 @@
 		if (overlaps(base, count,
 		    zones.info[i].base, zones.info[i].count)) {
-			printf("Zones overlap!\n");
+			printf("Zone (%p, %p) overlaps with zone (%p, %p)!\n",
+			    PFN2ADDR(base), PFN2ADDR(base + count),
+			    PFN2ADDR(zones.info[i].base),
+			    PFN2ADDR(zones.info[i].base + zones.info[i].count));
 			return (size_t) -1;
 		}
@@ -185,5 +188,5 @@
  *
  */
-size_t find_zone(pfn_t frame, size_t count, size_t hint)
+NO_TRACE size_t find_zone(pfn_t frame, size_t count, size_t hint)
 {
 	if (hint >= zones.count)
@@ -1115,5 +1118,5 @@
  *
  */
-void frame_reference_add(pfn_t pfn)
+NO_TRACE void frame_reference_add(pfn_t pfn)
 {
 	irq_spinlock_lock(&zones.lock, true);
@@ -1134,5 +1137,5 @@
  *
  */
-void frame_mark_unavailable(pfn_t start, size_t count)
+NO_TRACE void frame_mark_unavailable(pfn_t start, size_t count)
 {
 	irq_spinlock_lock(&zones.lock, true);
Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision bbfdf62eecb75fb74d785cdd587affc613b7ffe9)
+++ kernel/generic/src/mm/page.c	(revision 0737078089c7303e45c2821ff585eb62cd0963b2)
@@ -115,5 +115,5 @@
  *
  */
-void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame,
+NO_TRACE void page_mapping_insert(as_t *as, uintptr_t page, uintptr_t frame,
     unsigned int flags)
 {
@@ -139,5 +139,5 @@
  *
  */
-void page_mapping_remove(as_t *as, uintptr_t page)
+NO_TRACE void page_mapping_remove(as_t *as, uintptr_t page)
 {
 	ASSERT(page_table_locked(as));
@@ -163,5 +163,5 @@
  *
  */
-pte_t *page_mapping_find(as_t *as, uintptr_t page)
+NO_TRACE pte_t *page_mapping_find(as_t *as, uintptr_t page)
 {
 	ASSERT(page_table_locked(as));