Changeset 565 for trunk/kernel/devices/dev_txt.c

Timestamp:

Oct 4, 2018, 11:48:51 PM (6 years ago)

Author:

alain

Message:

Complete restructuration of kernel locks.

File:

• trunk/kernel/devices/dev_txt.c (modified) (7 diffs)

trunk/kernel/devices/dev_txt.c

@@ -2 +2 @@
  * dev_txt.c - TXT (Text Terminal) generic device API implementation.
  *
- * Author  Alain Greiner    (2016)
+ * Author  Alain Greiner    (2016,2017,2018)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -27 +27 @@
 #include <hal_drivers.h>
 #include <thread.h>
+#include <remote_busylock.h>
 #include <chdev.h>
 #include <rpc.h>
@@ -38 +39 @@
 extern chdev_directory_t  chdev_dir;         // allocated in kernel_init.c
 
+
 #if (DEBUG_SYS_READ & 1)
 extern uint32_t enter_txt_read;
@@ -48 +50 @@
 #endif
 
-////////////////////////////////////////
+///////////////////////////////////////////////////
 const char * dev_txt_type_str( dev_txt_cmd_t type )
 {
@@ -81 +83 @@
     txt->ext.txt.owner_xp = XPTR_NULL;
     xlist_root_init( XPTR( local_cxy, &txt->ext.txt.root ) );
-    remote_spinlock_init( XPTR( local_cxy , &txt->ext.txt.lock ) );
+    remote_busylock_init( XPTR( local_cxy , &txt->ext.txt.lock ), LOCK_CHDEV_TXTLIST );
     
     // call driver init function
@@ -257 +259 @@
 }
 
-//////////////////////////////////////////////
-error_t dev_txt_sync_write( char     * buffer,
-                            uint32_t   count )
+////////////////////////////////////////////////
+error_t dev_txt_sync_write( const char * buffer,
+                            uint32_t     count )
 {
     // get extended pointer on TXT[0] chdev
@@ -269 +271 @@
     // get TXTO chdev cluster and local pointer
     cxy_t    dev_cxy  = GET_CXY( dev_xp );
-    chdev_t * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
+    chdev_t * dev_ptr = GET_PTR( dev_xp );
 
     // get driver command function