Changeset 88636f68 in mainline

Timestamp:

2006-06-10T10:17:05Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

971cf31f

Parents:

fd7faa87

Message:

#ifdef more debugging printf()'s.

Files:

• arch/ia32/src/smp/apic.c (modified) (2 diffs)
• generic/src/proc/task.c (modified) (1 diff)

arch/ia32/src/smp/apic.c

@@ -228 +228 @@
 
         icr.lo = l_apic[ICRlo];
-        if (icr.delivs == DELIVS_PENDING)
+        if (icr.delivs == DELIVS_PENDING) {
+#ifdef CONFIG_DEBUG
                 printf("IPI is pending.\n");
+#endif
+        }
 
         return apic_poll_errors();
@@ -268 +271 @@
         delay(20);
 
-        if (!apic_poll_errors()) return 0;
+        if (!apic_poll_errors())
+                return 0;
 
         icr.lo = l_apic[ICRlo];
-        if (icr.delivs == DELIVS_PENDING)
+        if (icr.delivs == DELIVS_PENDING) {
+#ifdef CONFIG_DEBUG
                 printf("IPI is pending.\n");
+#endif
+        }
 
         icr.delmod = DELMOD_INIT;

generic/src/proc/task.c

@@ -437 +437 @@
 }
 
-/** Kernel task used to kill a userspace task when its main thread exits.
+/** Kernel thread used to kill the userspace task when its main thread exits.
  *
  * This thread waits until the main userspace thread (i.e. uninit) exits.