Ignore:
Timestamp:
Jul 3, 2017, 2:36:39 PM (5 years ago)
Author:
max@…
Message:

rename hal_wbflush->hal_fence

File:
1 edited

Legend:

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

    r103 r124  
    670670    hal_set_current_thread( thread );
    671671
     672    list_root_init( &thread->locks_root );
     673    xlist_root_init( XPTR( local_cxy, &thread->xlocks_root ) );
     674
    672675    // CP0 in I/O cluster initialises TXT0 chdev descriptor
    673676    if( (core_lid == 0) && (core_cxy == info->io_cxy) ) txt0_device_init( info );
     
    727730    // CP0 initializes the process_zero descriptor
    728731    if( core_lid == 0 ) process_reference_init( &process_zero , 0 , XPTR_NULL );
     732
     733#ifdef __HAL_x86_64__
     734        return; /* XXX temporary */
     735#endif
    729736
    730737    // CP0 allocates and initialises the internal peripheral chdev descriptors.
Note: See TracChangeset for help on using the changeset viewer.