When clock() is called by an external interrupt dispatched by the IRQ dispatcher,
commitf619ec11294d6774460c8c5c50473bf484647d12
authorJakub Jermar <jakub@jermar.eu>
Sat, 3 Feb 2007 21:26:54 +0000 (3 21:26 +0000)
committerJakub Jermar <jakub@jermar.eu>
Sat, 3 Feb 2007 21:26:54 +0000 (3 21:26 +0000)
treea48867c40b1e0e90a60498909dd8859743c010c8
parent80bcaed11c2e767559657092d6c13d1a7fdd449c
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.
16 files changed:
kernel/arch/ia32/src/drivers/i8254.c
kernel/arch/ia32/src/drivers/i8259.c
kernel/arch/ia32/src/ia32.c
kernel/arch/ia32/src/interrupt.c
kernel/arch/ia32/src/smp/smp.c
kernel/arch/ia32xen/src/ia32xen.c
kernel/arch/ia32xen/src/smp/apic.c
kernel/arch/ia64/src/drivers/it.c
kernel/arch/ia64/src/ia64.c
kernel/arch/mips32/src/interrupt.c
kernel/arch/sparc64/src/drivers/tick.c
kernel/arch/sparc64/src/sparc64.c
kernel/generic/include/mm/as.h
kernel/generic/src/ddi/ddi.c
kernel/generic/src/ddi/irq.c
uspace/ipcc/ipcc.c