Changeset 381 for trunk/kernel/kern/kernel_init.c

Timestamp:

Aug 14, 2017, 7:33:59 PM (7 years ago)

Author:

alain

Message:

Add missing defines in the TSAR exception handler.

File:

• trunk/kernel/kern/kernel_init.c (modified) (5 diffs)

trunk/kernel/kern/kernel_init.c

@@ -78 +78 @@
 // This variable defines the "idle" threads descriptors array
 __attribute__((section(".kidle")))
-char                  idle_threads[CONFIG_THREAD_DESC_SIZE *
+char                 idle_threads[CONFIG_THREAD_DESC_SIZE *
                                    CONFIG_MAX_LOCAL_CORES]   CONFIG_PPM_PAGE_ALIGNED;
 
@@ -683 +683 @@
 
     cxy_t        io_cxy = info->io_cxy;
+
+    assert( (io_cxy == ((info->x_size - 1)<<(info->y_width)) + (info->y_size - 1)) ,
+    __FUNCTION__ , "illegal IO cluter identifier\n" );
 
     /////////////////////////////////////////////////////////////////////////////////
@@ -978 +981 @@
     /////////////////////////////////////////////////////////////////////////////////
 
-    if( (core_lid ==  0) && (local_cxy == io_cxy) ) 
+    if( (core_lid ==  0) && (local_cxy == 0) ) 
     kinit_dmsg("\n[INFO] %s : exit barrier 5 : VFS_root = %l in cluster IO / cycle %d\n",
     __FUNCTION__, vfs_root_inode_xp , hal_time_stamp() );
@@ -1011 +1014 @@
     /////////////////////////////////////////////////////////////////////////////////
 
-    if( (core_lid ==  0) && (local_cxy == io_cxy) ) 
+    if( (core_lid ==  0) && (local_cxy == 0) ) 
     kinit_dmsg("\n[INFO] %s : exit barrier 6 : dev_root = %l in cluster IO / cycle %d\n",
     __FUNCTION__, devfs_dev_inode_xp , hal_time_stamp() );
@@ -1062 +1065 @@
 
     /////////////////////////////////////////////////////////////////////////////////
-    if( core_lid == 0 ) remote_barrier( XPTR( info->io_cxy , &global_barrier ),
+    if( core_lid == 0 ) remote_barrier( XPTR( io_cxy , &global_barrier ),
                                         (info->x_size * info->y_size) );
     barrier_wait( &local_barrier , info->cores_nr );