Changeset f619ec11 in mainline for kernel/arch/ia32/src/smp

Timestamp:

2007-02-03T21:26:54Z (19 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

cf5ddf6

Parents:

80bcaed

Message:

When clock() is called by an external interrupt dispatched by the IRQ dispatcher,
no spinlock can be held or the kernel will not be preemptive. This fixes Ticket #24.

Formating and indentation fixes.

File:

• kernel/arch/ia32/src/smp/smp.c (modified) (2 diffs)

kernel/arch/ia32/src/smp/smp.c

@@ -113 +113 @@
          * Set the warm-reset vector to the real-mode address of 4K-aligned ap_boot()
          */
-        *((uint16_t *) (PA2KA(0x467+0))) =  ((uintptr_t) ap_boot) >> 4; /* segment */
-        *((uint16_t *) (PA2KA(0x467+2))) =  0;                          /* offset */
+        *((uint16_t *) (PA2KA(0x467 + 0))) =  ((uintptr_t) ap_boot) >> 4;       /* segment */
+        *((uint16_t *) (PA2KA(0x467 + 2))) =  0;                                /* offset */
         
         /*
@@ -120 +120 @@
          * BIOS will not do the POST after the INIT signal.
          */
-        outb(0x70,0xf);
-        outb(0x71,0xa);
+        outb(0x70, 0xf);
+        outb(0x71, 0xa);
 
         pic_disable_irqs(0xffff);