Changeset 350 for soft/giet_vm/giet_drivers/bdv_driver.h

Timestamp:

Jun 29, 2014, 12:53:25 PM (10 years ago)

Author:

alain

Message:

Introducing two modifications regarding the locks protecting
exclusive access to BDV and TTY peripherals channels:

• use the giet_lock_t type to have only one lock per cache line.
• store these locks in the seg_kernel_data or in seg_kernel_uncdata, depending on the GIET_NO HARD_CC configuration parameter, to have cacheable locks when it is possible.

File:

• soft/giet_vm/giet_drivers/bdv_driver.h (modified) (1 diff)

soft/giet_vm/giet_drivers/bdv_driver.h

@@ -10 +10 @@
 #define _GIET_BDV_DRIVER_H_
 
+#include "utils.h"
+
 ///////////////////////////////////////////////////////////////////////////////////
 // BDV global variables
 ///////////////////////////////////////////////////////////////////////////////////
 
-extern unsigned int          _bdv_lock;    // BDV is a shared ressource
+extern giet_lock_t           _bdv_lock;    // BDV is a shared ressource
 extern volatile unsigned int _bdv_status;  // required for IRQ signaling
 extern volatile unsigned int _bdv_gtid;    // descheduled task id = gpid<<16 + ltid