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

Timestamp:

Sep 29, 2014, 12:02:13 PM (10 years ago)

Author:

alain

Message:

Introducing support for the PIC_MASK register in pic_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
 ///////////////////////////////////////////////////////////////////////////////////
-// The pic_driver.c and pic_drivers.h files are part ot the GIET-VM kernel.
-// This driver supports the SocLib vci_iopic component.
-//
-// The SEG_PIC_BASE address must be defined in hard_config.h file.
-///////////////////////////////////////////////////////////////////////////////////
 // Implementation note:
-// 
 // All physical accesses to device registers are done by the two
 // _pic_get_register(), _pic_set_register() low-level functions,
@@ -25 +19 @@
 
 /////////////////////////////////////////////////////////////////////////////////
-// This low level function returns the value of register (channel / index)
-/////////////////////////////////////////////////////////////////////////////////
 unsigned int _pic_get_register( unsigned int channel,
                                 unsigned int index )
@@ -34 +26 @@
 }
 
-/////////////////////////////////////////////////////////////////////////////////
-// This low level function set a new value in register (channel / index)  
 /////////////////////////////////////////////////////////////////////////////////
 void _pic_set_register( unsigned int channel,
@@ -45 +35 @@
 }
 
-/////////////////////////////////////////////////////////////////////////////////
-// This function initializes the XICU target physical address (vaddr + extend)
-// corresponding to a given HWI channel.
+
 /////////////////////////////////////////////////////////////////////////////////
 void _pic_init( unsigned int channel,      // source PIC HWI channel
@@ -55 +43 @@
     _pic_set_register( channel, IOPIC_ADDRESS, vaddr );
     _pic_set_register( channel, IOPIC_EXTEND, extend );
+    _pic_set_register( channel, IOPIC_MASK, 1 );
 }
 
-/////////////////////////////////////////////////////////////////////////////////
-// This function returns the status of a given HWI channel.
 /////////////////////////////////////////////////////////////////////////////////
 unsigned int _pic_get_status( unsigned int channel )