Changeset 625 for trunk/kernel/kern/printk.c

Timestamp:

Apr 10, 2019, 10:09:39 AM (6 years ago)

Author:

alain

Message:

Fix a bug in the vmm_remove_vseg() function: the physical pages
associated to an user DATA vseg were released to the kernel when
the target process descriptor was in the reference cluster.
This physical pages release should be done only when the page
forks counter value is zero.
All other modifications are cosmetic.

File:

• trunk/kernel/kern/printk.c (modified) (3 diffs)

trunk/kernel/kern/printk.c

@@ -253 +253 @@
                 break;
             }
-            case ('b'):             // excactly 2 digits hexadecimal
+            case ('b'):             /* exactly 2 digits hexadecimal */
             {
                 int  val = va_arg( *args, int );
@@ -426 +426 @@
 
     // print generic infos
-    nolock_printk("\n[PANIC] in %s: line %d | cycle %d\n"
+    nolock_printk("\n\n[PANIC] in %s: line %d | cycle %d\n"
                   "core[%x,%d] | thread %x (%x) | process %x (%x)\n",
                   function_name, line, (uint32_t)cycle,
@@ -502 +502 @@
     remote_busylock_acquire( lock_xp );
 
-    // display string on TTY0
+    // display buf on TTY0
     dev_txt_sync_write( buf , 10 );
+
+    // release TXT0 lock
+    remote_busylock_release( lock_xp );
+}
+
+////////////////////////
+void putd( int32_t val )
+{
+    static const char HexaTab[] = "0123456789ABCDEF";
+
+    char      buf[10];
+    uint32_t  i;
+
+    // get pointers on TXT0 chdev
+    xptr_t    txt0_xp  = chdev_dir.txt_tx[0];
+    cxy_t     txt0_cxy = GET_CXY( txt0_xp );
+    chdev_t * txt0_ptr = GET_PTR( txt0_xp );
+
+    // get extended pointer on remote TXT0 chdev lock
+    xptr_t  lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
+
+    // get TXT0 lock 
+    remote_busylock_acquire( lock_xp );
+
+    if (val < 0) 
+    {
+        val = -val;
+        dev_txt_sync_write( "-" , 1 );
+    }
+
+    for(i = 0; i < 10 ; i++) 
+    {
+        buf[9 - i] = HexaTab[val % 10];
+        if (!(val /= 10)) break;
+    }
+
+    // display buf on TTY0
+    dev_txt_sync_write( &buf[9-i] , i+1 );
 
     // release TXT0 lock