Changeset 679 for trunk/hal/tsar_mips32/core/hal_vmm.c

Timestamp:

Nov 20, 2020, 12:30:31 AM (4 years ago)

Author:

alain

Message:

Mainly cosmetic.

File:

• trunk/hal/tsar_mips32/core/hal_vmm.c (modified) (3 diffs)

trunk/hal/tsar_mips32/core/hal_vmm.c

@@ -2 +2 @@
  * hal_vmm.c - Virtual Memory Manager Initialisation for TSAR
  *
- * Authors  Alain Greiner (2016,2017,2018,2019)
+ * Authors  Alain Greiner (2016,2017,2018,2019,2020)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -167 +167 @@
 
 // check vsegs_nr 
-assert( (process_zero.vmm.vsegs_nr == 1 ) ,
+assert( __FUNCTION__, (process_zero.vmm.vsegs_nr == 1 ) ,
 "bad vsegs number in kernel VSL = %d\n", process_zero.vmm.vsegs_nr );
 
@@ -227 +227 @@
     uint32_t * pt1 = hal_remote_lpt( XPTR( process_cxy , &vmm->gpt.ptr ) );
 
-    nolock_printk("\n***** VSL and GPT / process %x / cluster %x / PT1 %x / cycle %d\n",
-    pid , process_cxy , pt1 , (uint32_t)hal_get_cycles() );
+    nolock_printk("\n***** VSL and GPT / pid %x / cxy %x / PT1 %x / entry %x / cycle %d\n",
+    pid , process_cxy , pt1 , vmm->entry_point , (uint32_t)hal_get_cycles() );
 
     if( xlist_is_empty( vsl_root_xp ) )