Changeset 5 for trunk/kernel/kern/cluster.h

Timestamp:

Apr 26, 2017, 2:11:56 PM (7 years ago)

Author:

alain

Message:

Introduce the chdev_t structure in place of the device_t structure.

File:

• trunk/kernel/kern/cluster.h (modified) (3 diffs)

trunk/kernel/kern/cluster.h

@@ -98 +98 @@
         spinlock_t        kcm_lock;           /*! local, protect creation of KCM allocators   */
     remote_barrier_t  barrier;            /*! used to synchronize kernel parallel init    */
-    remote_spinlock_t txt0_lock;          /*! global, only cluster_io lock is used        */
 
     // global parameters
@@ -115 +114 @@
     uint32_t          cores_in_kernel;    /*! number of cores currently in kernel mode    */
 
-        core_t            core_tbl[CONFIG_MAX_CORES_PER_CLUSTER];         /*! embedded cores  */
+        core_t            core_tbl[CONFIG_MAX_LOCAL_CORES];         /*! embedded cores        */
 
         ppm_t             ppm;                /*! embedded kernel page manager                */
@@ -145 +144 @@
  * This global variable is allocated in the kernel_init.c file.
  * There is one cluster_manager per cluster, with the same local address, 
- * but different value, in all clusters containing a kernel instance. 
+ * but different content, in all clusters containing a kernel instance. 
  *****************************************************************************************/