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

Timestamp:

Jul 3, 2017, 2:36:39 PM (7 years ago)

Author:

max@…

Message:

rename hal_wbflush->hal_fence

File:

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

trunk/kernel/kern/kernel_init.c

@@ -670 +670 @@
     hal_set_current_thread( thread );
 
+    list_root_init( &thread->locks_root );
+    xlist_root_init( XPTR( local_cxy, &thread->xlocks_root ) );
+
     // CP0 in I/O cluster initialises TXT0 chdev descriptor
     if( (core_lid == 0) && (core_cxy == info->io_cxy) ) txt0_device_init( info );
@@ -727 +730 @@
     // CP0 initializes the process_zero descriptor
     if( core_lid == 0 ) process_reference_init( &process_zero , 0 , XPTR_NULL );
+
+#ifdef __HAL_x86_64__
+        return; /* XXX temporary */
+#endif
 
     // CP0 allocates and initialises the internal peripheral chdev descriptors.