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

Timestamp:

Jun 10, 2014, 12:33:23 PM (10 years ago)

Author:

alain

Message:

All drivers have been modified to use only the information
contained in the hard_config.h file

File:

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

soft/giet_vm/giet_drivers/pic_driver.c

@@ -8 +8 @@
 // This driver supports the SocLib vci_iopic component.
 //
-// The seg_pic_base address must be defined in giet_vsegs.ld file.
+// The SEG_PIC_BASE address must be defined in hard_config.h file.
 ///////////////////////////////////////////////////////////////////////////////////
 // Implementation note:
@@ -20 +20 @@
 #include <utils.h>
 
+#if !defined(SEG_PIC_BASE) 
+# error: You must define SEG_PIC_BASE in the hard_config.h file
+#endif
+
 /////////////////////////////////////////////////////////////////////////////////
 // This low level function returns the value of register (channel / index)
@@ -26 +30 @@
                                 unsigned int index )
 {
-    unsigned int* vaddr = (unsigned int*)&seg_pic_base + channel*IOPIC_SPAN + index;
+    unsigned int* vaddr = (unsigned int*)SEG_PIC_BASE + channel*IOPIC_SPAN + index;
     return _io_extended_read( vaddr );
 }
@@ -37 +41 @@
                         unsigned int value )
 {
-    unsigned int* vaddr = (unsigned int*)&seg_pic_base + channel*IOPIC_SPAN + index;
+    unsigned int* vaddr = (unsigned int*)SEG_PIC_BASE + channel*IOPIC_SPAN + index;
     _io_extended_write( vaddr, value );
 }