Changeset 519 for soft/giet_vm/giet_kernel/sys_handler.h

Timestamp:

Mar 10, 2015, 3:01:43 PM (9 years ago)

Author:

alain

Message:

Introducing support for hardware coprocessors
using the vci_mwmr_dma components.

File:

• soft/giet_vm/giet_kernel/sys_handler.h (modified) (4 diffs)

soft/giet_vm/giet_kernel/sys_handler.h

@@ -1 @@
-///////////////////////////////////////////////////////////////////////////////////
+///////////////////////////////////////////////////////////////////////////////
 // File     : sys_handler.h
 // Date     : 01/04/2012
-// Author   : alain greiner and joel porquet
+// Author   : alain greiner 
 // Copyright (c) UPMC-LIP6
-///////////////////////////////////////////////////////////////////////////////////
-// The sys_handler.c and sys_handler.h files are part of the GIET-VM nano-kernel.
+///////////////////////////////////////////////////////////////////////////////
+// The sys_handler.c and sys_handler.h files are part of the GIET-VM kernel.
 // It define the syscall_vector[] (at the end of this file), as well as the 
 // associated syscall handlers.
-///////////////////////////////////////////////////////////////////////////////////
+///////////////////////////////////////////////////////////////////////////////
 
 #ifndef _SYS_HANDLER_H
@@ -15 +15 @@
 #include "giet_config.h"
 #include "kernel_locks.h"
+#include "stdio.h"
 
 ///////////////////////////////////////////////////////////////////////////////
@@ -74 +75 @@
 } nic_chbuf_t;
 
+
+
+
+///////////////////////////////////////////////////////////////////////////////
+//    Coprocessors related syscall handlers
+///////////////////////////////////////////////////////////////////////////////
+
+int _sys_coproc_alloc( unsigned int   coproc_type,
+                       unsigned int*  coproc_info,
+                       unsigned int*  cluster_xy );
+
+int _sys_coproc_release( unsigned int cluster_xy );
+
+int _sys_coproc_channel_init( unsigned int            cluster_xy,
+                              unsigned int            channel,
+                              giet_coproc_channel_t*  desc );
+
+int _sys_coproc_channel_start( unsigned int  cluster_xy,
+                               unsigned int  channel );
+
+int _sys_coproc_channel_stop( unsigned int  cluster_xy,
+                              unsigned int  channel );
+
+int _sys_coproc_completed( unsigned int cluster_xy );
+
 ///////////////////////////////////////////////////////////////////////////////
 //    TTY related syscall handlers
@@ -93 +119 @@
 int _sys_tty_release_lock( unsigned int   channel,
                            unsigned int * save_sr_ptr );
+
+int _sys_coproc_register_set( unsigned int cluster_xy,
+                              unsigned int reg_index,
+                              unsigned int value );
+
+int _sys_coproc_register_get( unsigned int  cluster_xy,
+                              unsigned int  reg_index,
+                              unsigned int* buffer );
 
 //////////////////////////////////////////////////////////////////////////////