Changeset 565 for trunk/kernel/devices/dev_fbf.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_fbf.c (modified) (3 diffs)

trunk/kernel/devices/dev_fbf.c

@@ -55 +55 @@
     if( impl == IMPL_FBF_SCL )
     {
-        // TODO
+        printk("\n[WARNING] Soclib FBF driver not implemented yet\n");
     }
     else
@@ -78 +78 @@
 
     // return values
-    *width  = hal_remote_lw( XPTR( dev_cxy , &dev_ptr->ext.fbf.width ) );
-    *height = hal_remote_lw( XPTR( dev_cxy , &dev_ptr->ext.fbf.height ) );
+    *width  = hal_remote_l32( XPTR( dev_cxy , &dev_ptr->ext.fbf.width ) );
+    *height = hal_remote_l32( XPTR( dev_cxy , &dev_ptr->ext.fbf.height ) );
 
 }  // end dev_fbf_get_size()
 
-///////////////////////
+/////////////////////////////
 error_t dev_fbf_alloc( void )
 {
     // get extended pointer on FBF chdev descriptor
-    xptr_t  dev_xp = chdev_dir.fbf[0];
-
-    assert( (dev_xp != XPTR_NULL) , "undefined FBF chdev descriptor" );
-
-    // get FBF chdev cluster and local pointer
-    cxy_t     dev_cxy = GET_CXY( dev_xp );
-    chdev_t * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
+    // xptr_t  dev_xp = chdev_dir.fbf[0];
+
+    // assert( (dev_xp != XPTR_NULL) , "undefined FBF chdev descriptor" );
+
+    // get FBF chdev cluster and local pointer
+    // cxy_t     dev_cxy = GET_CXY( dev_xp );
+    // chdev_t * dev_ptr = GET_PTR( dev_xp );
 
     // try to get FBF ownership
-    return remote_spinlock_trylock( XPTR( dev_cxy , &dev_ptr->wait_lock ) );
+
+assert( false , "not implemented yet" );
 
 }  // end dev_fbf_alloc()
 
-///////////////////
+/////////////////////////
 void dev_fbf_free( void )
 {
     // get extended pointer on FBF chdev descriptor
-    xptr_t  dev_xp = chdev_dir.fbf[0];
-
-    assert( (dev_xp != XPTR_NULL) , "undefined FBF chdev descriptor" );
-
-    // get FBF chdev cluster and local pointer
-    cxy_t     dev_cxy = GET_CXY( dev_xp );
-    chdev_t * dev_ptr = (chdev_t *)GET_PTR( dev_xp );
+    // xptr_t  dev_xp = chdev_dir.fbf[0];
+
+    // assert( (dev_xp != XPTR_NULL) , "undefined FBF chdev descriptor" );
+
+    // get FBF chdev cluster and local pointer
+    // cxy_t     dev_cxy = GET_CXY( dev_xp );
+    // chdev_t * dev_ptr = (GET_PTR( dev_xp );
 
     // release FBF ownership
-    remote_spinlock_unlock( XPTR( dev_cxy , &dev_ptr->wait_lock ) );
+
+assert( false , "not implemented yet" );
 
 }  // end dev_fbf_free()
@@ -139 +141 @@
 
     // get frame buffer base address, width and height
-    xptr_t   base   = hal_remote_lwd( XPTR( fbf_cxy , &fbf_ptr->base ) );
-    uint32_t width  = hal_remote_lw ( XPTR( fbf_cxy , &fbf_ptr->ext.fbf.width ) );
-    uint32_t height = hal_remote_lw ( XPTR( fbf_cxy , &fbf_ptr->ext.fbf.height ) );
+    xptr_t   base   = hal_remote_l64( XPTR( fbf_cxy , &fbf_ptr->base ) );
+    uint32_t width  = hal_remote_l32 ( XPTR( fbf_cxy , &fbf_ptr->ext.fbf.width ) );
+    uint32_t height = hal_remote_l32 ( XPTR( fbf_cxy , &fbf_ptr->ext.fbf.height ) );
 
     // check offset and length versus FBF size