Ignore:
Timestamp:
Jun 3, 2017, 4:46:59 PM (5 years ago)
Author:
max@…
Message:

cosmetic, and a few typos

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/kernel/kern/kernel_init.c

    r14 r19  
    8282// This variable defines the local cluster manager
    8383__attribute__((section(".kdata")))
    84 cluster_t            cluster_manager                         CONFIG_CACHE_LINE_ALIGNED; 
     84cluster_t            cluster_manager                         CONFIG_CACHE_LINE_ALIGNED;
    8585
    8686// This variables define the kernel process0 descriptor
    8787__attribute__((section(".kdata")))
    88 process_t            process_zero                            CONFIG_CACHE_LINE_ALIGNED;           
     88process_t            process_zero                            CONFIG_CACHE_LINE_ALIGNED;
    8989
    9090// This variable defines extended pointers on the distributed chdevs
     
    197197                {
    198198                    cxy_t  cxy = (x<<info->y_width) + y;
    199                     hal_remote_swd( XPTR( cxy , &chdev_dir.txt[0] ) , 
     199                    hal_remote_swd( XPTR( cxy , &chdev_dir.txt[0] ) ,
    200200                                    XPTR( local_cxy , &txt0_chdev ) );
    201201                }
     
    204204                    kinit_dmsg("\n[INFO] %s : core[%x][0] created TXT0 chdev"
    205205                       " / paddr = %l at cycle %d\n",
    206                        __FUNCTION__ , local_cxy , chdev_func_str( func ), 
     206                       __FUNCTION__ , local_cxy , chdev_func_str( func ),
    207207                       XPTR(local_cxy , &txt0_chdev) , hal_time_stamp() );
    208208        }
     
    257257    // make ICU specific initialisation
    258258    // TODO remove these three parameters
    259     dev_icu_init( chdev_ptr , dev->param0 , dev->param1 , dev->param2 );     
     259    dev_icu_init( chdev_ptr , dev->param0 , dev->param1 , dev->param2 );
    260260
    261261    // initialize the ICU field in the chdev_dir[x][y] structures
     
    532532                }  // end if match
    533533
    534                 // increment chdev global index (matching or not)           
     534                // increment chdev global index (matching or not)
    535535                chdev_gid++;
    536536
     
    608608        uint32_t   i;
    609609    gid_t      global_id;
    610    
     610
    611611    // get global identifier from hardware register
    612612    global_id = hal_get_gid();
     
    624624    }
    625625    return EINVAL;
    626 }                     
     626}
    627627
    628628///////////////////////////////////////////////////////////////////////////////////////////
    629629// This function is the entry point for the kernel initialisation.
    630 // It is executed by all cores in all clusters, but only core[0], called CP0,   
     630// It is executed by all cores in all clusters, but only core[0], called CP0,
    631631// initializes the shared resources such as the cluster manager, or the local peripherals.
    632 // To comply with the multi-kernels paradigm, it access only local cluster memory, using
    633 // only informations contained in the local boot_info_t structure, set by the bootloader.
     632// To comply with the multi-kernels paradigm, it accesses only local cluster memory, using
     633// only information contained in the local boot_info_t structure, set by the bootloader.
    634634///////////////////////////////////////////////////////////////////////////////////////////
    635635// @ info    : pointer on the local boot-info structure.
     
    681681    }
    682682
    683     // CP0 initialize local cluster manager (cores and memory allocators)
     683    // CP0 initializes the local cluster manager (cores and memory allocators)
    684684    if( core_lid == 0 )
    685685    {
     
    713713        core    = &cluster->core_tbl[core_lid];
    714714
    715     // CP0 initialize process_zero descriptor
     715    // CP0 initializes the process_zero descriptor
    716716    if( core_lid == 0 ) process_zero_init( info );
    717717
    718     // CP0 allocate and initialise internal peripheral chdev descriptors.
     718    // CP0 allocates and initialises the internal peripheral chdev descriptors.
    719719    // Each CP0[cxy] scan the set of its internal (private) peripherals,
    720720    // and allocate memory for the corresponding chdev descriptors.
Note: See TracChangeset for help on using the changeset viewer.