Changeset 435 for trunk/kernel/mm/vmm.c

Timestamp:

Feb 20, 2018, 5:32:17 PM (7 years ago)

Author:

alain

Message:

Fix a bad bug in scheduler...

File:

• trunk/kernel/mm/vmm.c (modified) (5 diffs)

trunk/kernel/mm/vmm.c

@@ -1643 +1643 @@
 #if CONFIG_DEBUG_VMM_GET_PTE
 uint32_t cycle = (uint32_t)hal_get_cycles();
-if( CONFIG_DEBUG_VMM_GET_PTE > cycle )
+if( CONFIG_DEBUG_VMM_GET_PTE < cycle )
 printk("\n[DBG] %s : thread %x enter for vpn = %x / process %x / cow = %d / cycle %d\n",
 __FUNCTION__ , CURRENT_THREAD , vpn , process->pid , cow , cycle );
@@ -1800 +1800 @@
     error_t          error;
 
+#if CONFIG_DEBUG_VMM_GET_PTE
+uint32_t cycle = (uint32_t)hal_get_cycles();
+if( CONFIG_DEBUG_VMM_GET_PTE < cycle )
+printk("\n[DBG] %s : thread %x enter for vpn %x / process %x / cycle %d\n",
+__FUNCTION__ , CURRENT_THREAD , vpn , process->pid , cycle );
+#endif
+
     // get reference process cluster and local pointer
     cxy_t       ref_cxy = GET_CXY( process->ref_xp );
@@ -1833 +1840 @@
     }
 
+#if CONFIG_DEBUG_VMM_GET_PTE
+cycle = (uint32_t)hal_get_cycles();
+if( CONFIG_DEBUG_VMM_GET_PTE < cycle )
+printk("\n[DBG] %s : thread %x exit for vpn %x / process %x / cycle %d\n",
+__FUNCTION__ , CURRENT_THREAD , vpn , process->pid , cycle );
+#endif
+
     return error;
 
@@ -1845 +1859 @@
     error_t          error;
 
+#if CONFIG_DEBUG_VMM_GET_PTE
+uint32_t cycle = (uint32_t)hal_get_cycles();
+if( CONFIG_DEBUG_VMM_GET_PTE < cycle )
+printk("\n[DBG] %s : thread %x enter for vpn %x / process %x / cycle %d\n",
+__FUNCTION__ , CURRENT_THREAD , vpn , process->pid , cycle );
+#endif
     
     // get reference process cluster and local pointer
@@ -1879 +1899 @@
     }
 
+#if CONFIG_DEBUG_VMM_GET_PTE
+cycle = (uint32_t)hal_get_cycles();
+if( CONFIG_DEBUG_VMM_GET_PTE < cycle )
+printk("\n[DBG] %s : thread %x exit for vpn %x / process %x / cycle %d\n",
+__FUNCTION__ , CURRENT_THREAD , vpn , process->pid , cycle );
+#endif
+
     return error;