Ignore:
Timestamp:
Apr 26, 2017, 2:11:56 PM (5 years ago)
Author:
alain
Message:

Introduce the chdev_t structure in place of the device_t structure.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/cluster.h

    r1 r5  
    9898        spinlock_t        kcm_lock;           /*! local, protect creation of KCM allocators   */
    9999    remote_barrier_t  barrier;            /*! used to synchronize kernel parallel init    */
    100     remote_spinlock_t txt0_lock;          /*! global, only cluster_io lock is used        */
    101100
    102101    // global parameters
     
    115114    uint32_t          cores_in_kernel;    /*! number of cores currently in kernel mode    */
    116115
    117         core_t            core_tbl[CONFIG_MAX_CORES_PER_CLUSTER];         /*! embedded cores  */
     116        core_t            core_tbl[CONFIG_MAX_LOCAL_CORES];         /*! embedded cores        */
    118117
    119118        ppm_t             ppm;                /*! embedded kernel page manager                */
     
    145144 * This global variable is allocated in the kernel_init.c file.
    146145 * There is one cluster_manager per cluster, with the same local address,
    147  * but different value, in all clusters containing a kernel instance.
     146 * but different content, in all clusters containing a kernel instance.
    148147 *****************************************************************************************/
    149148
Note: See TracChangeset for help on using the changeset viewer.