Changeset f619ec11 in mainline for kernel/arch/ia32/src/drivers/i8259.c

Timestamp:

2007-02-03T21:26:54Z (18 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/drivers/i8259.c (modified) (2 diffs)

kernel/arch/ia32/src/drivers/i8259.c

@@ -87 +87 @@
 
         pic_disable_irqs(0xffff);               /* disable all irq's */
-        pic_enable_irqs(1<<IRQ_PIC1);           /* but enable pic1 */
+        pic_enable_irqs(1 << IRQ_PIC1);         /* but enable pic1 */
 }
 
@@ -120 +120 @@
 void pic_eoi(void)
 {
-        outb(0x20,0x20);
-        outb(0xa0,0x20);
+        outb(0x20, 0x20);
+        outb(0xa0, 0x20);
 }