Changeset 570 for trunk/hal/x86_64

Timestamp:

Oct 5, 2018, 12:08:35 AM (6 years ago)

Author:

alain

Message:

Introduction of the soclib_mty driver for the TSAR-LETI architecture.

Location:

trunk/hal/x86_64

Files:

• core/hal_remote.c (modified) (4 diffs)
• drivers/ioc_ata.c (modified) (1 diff)
• drivers/txt_rs232.c (modified) (3 diffs)

trunk/hal/x86_64/core/hal_remote.c

@@ -30 +30 @@
 }
 
-void hal_remote_sw(xptr_t xp, uint32_t data)
+void hal_remote_s32(xptr_t xp, uint32_t data)
 {
         *(uint32_t *)xp = data;
 }
 
-void hal_remote_swd(xptr_t xp, uint64_t data)
+void hal_remote_s64(xptr_t xp, uint64_t data)
 {
         *(uint64_t *)xp = data;
@@ -42 +42 @@
 void hal_remote_spt(xptr_t xp, void *pt)
 {
-        hal_remote_swd(xp, (uint64_t)pt);
+        hal_remote_s64(xp, (uint64_t)pt);
 }
 
@@ -50 +50 @@
 }
 
-uint32_t hal_remote_lw(xptr_t xp)
+uint32_t hal_remote_l32(xptr_t xp)
 {
         return *(uint32_t *)xp;
 }
 
-uint64_t hal_remote_lwd(xptr_t xp)
+uint64_t hal_remote_l64(xptr_t xp)
 {
         return *(uint64_t *)xp;
@@ -62 +62 @@
 void *hal_remote_lpt(xptr_t xp)
 {
-        return (void *)hal_remote_lwd(xp);
+        return (void *)hal_remote_l64(xp);
 }
 

trunk/hal/x86_64/drivers/ioc_ata.c

@@ -205 +205 @@
 
         // get command arguments and extended pointer on IOC device
-        cmd_type =         hal_remote_lw ( XPTR( th_cxy , &th_ptr->ioc_cmd.type   ) );
-        lba      =         hal_remote_lw ( XPTR( th_cxy , &th_ptr->ioc_cmd.lba    ) );
-        count    =         hal_remote_lw ( XPTR( th_cxy , &th_ptr->ioc_cmd.count  ) );
-        buf_xp   = (xptr_t)hal_remote_lwd( XPTR( th_cxy , &th_ptr->ioc_cmd.buf_xp ) );
+        cmd_type =         hal_remote_l32 ( XPTR( th_cxy , &th_ptr->ioc_cmd.type   ) );
+        lba      =         hal_remote_l32 ( XPTR( th_cxy , &th_ptr->ioc_cmd.lba    ) );
+        count    =         hal_remote_l32 ( XPTR( th_cxy , &th_ptr->ioc_cmd.count  ) );
+        buf_xp   = (xptr_t)hal_remote_l64( XPTR( th_cxy , &th_ptr->ioc_cmd.buf_xp ) );
 
         /* execute operation */

trunk/hal/x86_64/drivers/txt_rs232.c

@@ -46 +46 @@
 
         // get command type and extended pointer on TXT device
-        uint32_t type   =         hal_remote_lw ( XPTR( th_cxy , &th_ptr->txt_cmd.type ) );
-        xptr_t   dev_xp = (xptr_t)hal_remote_lwd( XPTR( th_cxy , &th_ptr->txt_cmd.dev_xp ) );
+        uint32_t type   =         hal_remote_l32 ( XPTR( th_cxy , &th_ptr->txt_cmd.type ) );
+        xptr_t   dev_xp = (xptr_t)hal_remote_l64( XPTR( th_cxy , &th_ptr->txt_cmd.dev_xp ) );
 
         // get TXT device cluster and local pointer
@@ -54 +54 @@
 
         // get TTY channel index
-        uint32_t   channel = hal_remote_lw( XPTR( dev_cxy , &dev_ptr->channel ) );
+        uint32_t   channel = hal_remote_l32( XPTR( dev_cxy , &dev_ptr->channel ) );
 
         // for now, only channel zero
@@ -70 +70 @@
 
                 // get source buffer extended pointer & bytes count
-                uint32_t count  = hal_remote_lw ( XPTR( th_cxy , &th_ptr->txt_cmd.count ) );
-                xptr_t   buf_xp = hal_remote_lwd( XPTR( th_cxy , &th_ptr->txt_cmd.buf_xp ) );
+                uint32_t count  = hal_remote_l32 ( XPTR( th_cxy , &th_ptr->txt_cmd.count ) );
+                xptr_t   buf_xp = hal_remote_l64( XPTR( th_cxy , &th_ptr->txt_cmd.buf_xp ) );
 
                 // loop on characters