Changeset 437 for soft/giet_vm/giet_drivers/pic_driver.c

Timestamp:

Nov 3, 2014, 10:53:00 AM (10 years ago)

Author:

alain

Message:

Introducing dynamic allocation of peripheral channel(TTY, NIC, TIM, CMA)
Removint the ICU driver : ICU component not supported anymore.
Removing the FBF driver.

File:

• soft/giet_vm/giet_drivers/pic_driver.c (modified) (5 diffs)

soft/giet_vm/giet_drivers/pic_driver.c

@@ -5 +5 @@
 // Copyright (c) UPMC-LIP6
 ///////////////////////////////////////////////////////////////////////////////////
-// Implementation note:
-// All physical accesses to device registers are done by the two
-// _pic_get_register(), _pic_set_register() low-level functions,
-// that are handling virtual / physical addressing.
-///////////////////////////////////////////////////////////////////////////////////
 
 #include <pic_driver.h>
+#include <giet_config.h>
+#include <hard_config.h>
 #include <utils.h>
 
@@ -18 +15 @@
 #endif
 
-/////////////////////////////////////////////////////////////////////////////////
+/////////////////////////////////////////////////////
 unsigned int _pic_get_register( unsigned int channel,
                                 unsigned int index )
@@ -26 +23 @@
 }
 
-/////////////////////////////////////////////////////////////////////////////////
+/////////////////////////////////////////////
 void _pic_set_register( unsigned int channel,
                         unsigned int index,
@@ -36 +33 @@
 
 
-/////////////////////////////////////////////////////////////////////////////////
+/////////////////////////////////////
 void _pic_init( unsigned int channel,      // source PIC HWI channel
                 unsigned int vaddr,        // dest XCU WTI address
@@ -46 +43 @@
 }
 
-/////////////////////////////////////////////////////////////////////////////////
+////////////////////////////////////////////////////
 unsigned int _pic_get_status( unsigned int channel )
 {