HelenOS-historic – /kernel/trunk/generic/include/print.h

Rev 575 – Added generic exc_register/exc_dispatch functions, copied from ia32 architecture. Currently only ...

palkovsky — Sat, 10 Dec 2005 01:19:57 +0100

palkovsky – 26 file(s) modified
Added generic exc_register/exc_dispatch functions,
copied from ia32 architecture. Currently only mips32 uses them.

The chardev_t can now be both input & output device (was
needed for serial driver).

Broken other architectures - ia64, sparc, powerpc will not compile.

Mips32 supports input on all msim, gxemul, indy(tested emulation
in gxemul, loses characters), simics. Simics serial line
is done using polling, I was unable to make it produce
an interrupt when the key was pressed.

~ /kernel/trunk/arch/ia32/include/ega.h
~ /kernel/trunk/arch/ia32/src/drivers/ega.c
~ /kernel/trunk/arch/ia32/src/drivers/i8042.c
~ /kernel/trunk/arch/mips32/include/console.h
~ /kernel/trunk/arch/mips32/include/drivers/arc.h
x /kernel/trunk/arch/mips32/include/drivers/keyboard.h
+ /kernel/trunk/arch/mips32/include/drivers/msim.h
+ /kernel/trunk/arch/mips32/include/drivers/serial.h
~ /kernel/trunk/arch/mips32/include/interrupt.h
~ /kernel/trunk/arch/mips32/Makefile.inc
~ /kernel/trunk/arch/mips32/src/console.c
~ /kernel/trunk/arch/mips32/src/drivers/arc.c
x /kernel/trunk/arch/mips32/src/drivers/keyboard.c
+ /kernel/trunk/arch/mips32/src/drivers/msim.c
+ /kernel/trunk/arch/mips32/src/drivers/serial.c
~ /kernel/trunk/arch/mips32/src/interrupt.c
~ /kernel/trunk/arch/mips32/src/mips32.c
~ /kernel/trunk/generic/include/console/chardev.h
~ /kernel/trunk/generic/include/console/console.h
+ /kernel/trunk/generic/include/interrupt.h
~ /kernel/trunk/generic/include/print.h
~ /kernel/trunk/generic/src/console/chardev.c
~ /kernel/trunk/generic/src/console/console.c
+ /kernel/trunk/generic/src/interrupt
+ /kernel/trunk/generic/src/interrupt/interrupt.c
~ /kernel/trunk/Makefile

Rev 534 – Rename HelenOS/SPARTAN to HelenOS/kernel again.

jermar — Sun, 04 Dec 2005 20:40:40 +0100

jermar – 2 file(s) modified
Rename HelenOS/SPARTAN to HelenOS/kernel again.

+ /kernel (copied from /SPARTAN@533)
x /SPARTAN

Rev 532 – Revert renaming of HelenOS/SPARTAN to HelenOS/kernel because of important pending ...

jermar — Sun, 04 Dec 2005 20:28:25 +0100

jermar – 2 file(s) modified
Revert renaming of HelenOS/SPARTAN to HelenOS/kernel because of important pending patch.

x /kernel
+ /SPARTAN (copied from /kernel@531)

Rev 501 – Rename HelenOS/SPARTAN to HelenOS/kernel.

jermar — Tue, 22 Nov 2005 16:09:19 +0100

jermar – 2 file(s) modified
Rename HelenOS/SPARTAN to HelenOS/kernel.

+ /kernel (copied from /SPARTAN@500)
x /SPARTAN

Rev 452 – major build system revision (unfinished) this patchset most definitively breaks ...

decky — Mon, 07 Nov 2005 21:04:30 +0100

decky – 37 file(s) modified
major build system revision (unfinished)
this patchset most definitively breaks a lot of things, be patient

~ /SPARTAN/trunk/arch/amd64/src/amd64.c
~ /SPARTAN/trunk/arch/ia32/include/ega.h
~ /SPARTAN/trunk/arch/ia32/Makefile.inc
~ /SPARTAN/trunk/arch/ia32/src/cpu/cpu.c
~ /SPARTAN/trunk/arch/ia32/src/drivers/ega.c
~ /SPARTAN/trunk/arch/ia32/src/ia32.c
~ /SPARTAN/trunk/arch/ia32/src/smp/smp.c
x /SPARTAN/trunk/build.amd64
x /SPARTAN/trunk/build.ia64
x /SPARTAN/trunk/build.mips32
x /SPARTAN/trunk/build.ppc32
x /SPARTAN/trunk/build.sparc64
+ /SPARTAN/trunk/clean
x /SPARTAN/trunk/clean.amd64
x /SPARTAN/trunk/clean.ia32
x /SPARTAN/trunk/clean.ia64
x /SPARTAN/trunk/clean.mips32
x /SPARTAN/trunk/clean.ppc32
x /SPARTAN/trunk/clean.sparc64
+ /SPARTAN/trunk/genarch/include/acpi
+ /SPARTAN/trunk/genarch/include/acpi/acpi.h (copied from /SPARTAN/trunk/genarch/include/firmware/acpi/acpi.h@445)
+ /SPARTAN/trunk/genarch/include/acpi/madt.h (copied from /SPARTAN/trunk/genarch/include/firmware/acpi/madt.h@445)
x /SPARTAN/trunk/genarch/include/firmware/acpi
~ /SPARTAN/trunk/genarch/Makefile.inc
+ /SPARTAN/trunk/genarch/src/acpi
+ /SPARTAN/trunk/genarch/src/acpi/acpi.c (copied from /SPARTAN/trunk/genarch/src/firmware/acpi/acpi.c@445)
+ /SPARTAN/trunk/genarch/src/acpi/matd.c (copied from /SPARTAN/trunk/genarch/src/firmware/acpi/madt.c@445)
x /SPARTAN/trunk/genarch/src/firmware/acpi
~ /SPARTAN/trunk/generic/include/print.h
~ /SPARTAN/trunk/generic/include/proc/scheduler.h
~ /SPARTAN/trunk/generic/include/proc/thread.h
~ /SPARTAN/trunk/generic/src/debug/print.c
~ /SPARTAN/trunk/generic/src/main/kinit.c
~ /SPARTAN/trunk/generic/src/proc/scheduler.c
~ /SPARTAN/trunk/generic/src/proc/thread.c
~ /SPARTAN/trunk/Makefile
~ /SPARTAN/trunk/Makefile.config

Rev 430 – Move src/ and include/ to generic.

jermar — Tue, 01 Nov 2005 23:14:56 +0100

jermar – 15 file(s) modified
Move src/ and include/ to generic.

~ /SPARTAN/trunk/arch/amd64/Makefile.inc
~ /SPARTAN/trunk/arch/ia32/Makefile.inc
~ /SPARTAN/trunk/arch/ia64/Makefile.inc
~ /SPARTAN/trunk/arch/mips32/boot/Makefile
~ /SPARTAN/trunk/arch/mips32/Makefile.inc
~ /SPARTAN/trunk/arch/ppc32/Makefile.inc
~ /SPARTAN/trunk/arch/sparc64/Makefile.inc
~ /SPARTAN/trunk/genarch/Makefile.inc
+ /SPARTAN/trunk/generic
+ /SPARTAN/trunk/generic/include (copied from /SPARTAN/trunk/include@429)
+ /SPARTAN/trunk/generic/src (copied from /SPARTAN/trunk/src@429)
~ /SPARTAN/trunk/generic/src/main/kinit.c
x /SPARTAN/trunk/include
~ /SPARTAN/trunk/Makefile
x /SPARTAN/trunk/src

Rev 264 – E option in printf added.

cejka — Sat, 03 Sep 2005 14:56:14 +0200

cejka – 4 file(s) modified
E option in printf added.

~ /SPARTAN/trunk/arch/ia32/src/boot/memmap.S
~ /SPARTAN/trunk/include/print.h
~ /SPARTAN/trunk/src/debug/print.c
~ /SPARTAN/trunk/test/print/print1/test.c

Rev 228 – Created fmath as basic tool for IEEE 754 floating point ...

cejka — Thu, 01 Sep 2005 17:02:43 +0200

cejka – 4 file(s) modified
Created fmath as basic tool for IEEE 754 floating point numbers.
Added option $F for printf for printing "double" type.

~ /SPARTAN/trunk/arch/ia32/Makefile.inc
~ /SPARTAN/trunk/include/print.h
~ /SPARTAN/trunk/src/debug/print.c
~ /SPARTAN/trunk/test/print/print1/test.c

Rev 181 – Bugs in printf and va_arg functions repaired.

cejka — Tue, 30 Aug 2005 10:59:22 +0200

cejka – 3 file(s) modified
Bugs in printf and va_arg functions repaired.

~ /SPARTAN/trunk/include/print.h
~ /SPARTAN/trunk/include/stackarg.h
~ /SPARTAN/trunk/src/debug/print.c

Rev 77 – Add %P and %p formatters to printf for printing pointers ...

jermar — Fri, 13 May 2005 22:51:40 +0200

jermar – 3 file(s) modified
Add %P and %p formatters to printf for printing pointers in maximum bit width.
Add %Q and %q formatters to printf for printing 64-bit integers.

~ /SPARTAN/trunk/include/print.h
~ /SPARTAN/trunk/src/debug/print.c
~ /SPARTAN/trunk/src/main/main.c

Rev 68 – NDEBUG debug symbol, ASSERT debug macro, fancier panic() in debug ...

decky — Wed, 11 May 2005 21:51:55 +0200

decky – 23 file(s) modified
NDEBUG debug symbol, ASSERT debug macro, fancier panic() in debug mode
indentation fixes, ASSERTs

~ /SPARTAN/trunk/arch/ia32/src/debug/panic.s
~ /SPARTAN/trunk/arch/ia32/src/interrupt.c
~ /SPARTAN/trunk/arch/ia32/src/pm.c
~ /SPARTAN/trunk/arch/ia32/src/smp/mps.c
~ /SPARTAN/trunk/arch/ia64/src/fake.s
~ /SPARTAN/trunk/arch/mips/src/cache.c
~ /SPARTAN/trunk/arch/mips/src/exception.c
~ /SPARTAN/trunk/arch/mips/src/interrupt.c
~ /SPARTAN/trunk/arch/mips/src/mm/tlb.c
~ /SPARTAN/trunk/arch/mips/src/panic.s
~ /SPARTAN/trunk/include/list.h
~ /SPARTAN/trunk/include/panic.h
~ /SPARTAN/trunk/include/print.h
~ /SPARTAN/trunk/include/typedefs.h
~ /SPARTAN/trunk/src/debug/print.c
~ /SPARTAN/trunk/src/main/kinit.c
~ /SPARTAN/trunk/src/main/main.c
~ /SPARTAN/trunk/src/mm/frame.c
~ /SPARTAN/trunk/src/mm/heap.c
~ /SPARTAN/trunk/src/mm/vm.c
~ /SPARTAN/trunk/src/proc/scheduler.c
~ /SPARTAN/trunk/src/synch/rwlock.c
~ /SPARTAN/trunk/src/time/timeout.c

Rev 63 – const qualifier for print functions

decky — Wed, 11 May 2005 19:08:53 +0200

decky – 7 file(s) modified
const qualifier for print functions

~ /SPARTAN/trunk/arch/ia32/include/ega.h
~ /SPARTAN/trunk/arch/ia32/src/drivers/ega.c
~ /SPARTAN/trunk/arch/ia64/src/putchar.c
~ /SPARTAN/trunk/arch/mips/src/putchar.c
~ /SPARTAN/trunk/include/print.h
~ /SPARTAN/trunk/include/putchar.h
~ /SPARTAN/trunk/src/debug/print.c

Rev 42 – Add stdarg.h to support variable argument list functions on architectures ...

jermar — Sat, 07 May 2005 23:39:47 +0200

jermar – 4 file(s) modified
Add stdarg.h to support variable argument list functions on architectures with compiler support for __builtin_va_*.
stackarg.h is kept for those architectures which lack that kind of support and for testing purposes.

Make printing functions use the __native type and support the maximum integer width.

~ /SPARTAN/trunk/arch/ia64/include/arg.h
~ /SPARTAN/trunk/include/print.h
+ /SPARTAN/trunk/include/stdarg.h
~ /SPARTAN/trunk/src/debug/print.c

Rev 1 – Initial import

jermar — Fri, 18 Feb 2005 18:30:54 +0100

jermar – 209 file(s) modified
Initial import

+ /SPARTAN
+ /SPARTAN/branches
+ /SPARTAN/tags
+ /SPARTAN/trunk
+ /SPARTAN/trunk/arch
+ /SPARTAN/trunk/arch/ia32
+ /SPARTAN/trunk/arch/ia32/boot
+ /SPARTAN/trunk/arch/ia32/boot/boot.ld
+ /SPARTAN/trunk/arch/ia32/boot/boot.S
+ /SPARTAN/trunk/arch/ia32/boot/Makefile
+ /SPARTAN/trunk/arch/ia32/include
+ /SPARTAN/trunk/arch/ia32/include/ap.h
+ /SPARTAN/trunk/arch/ia32/include/apic.h
+ /SPARTAN/trunk/arch/ia32/include/asm.h
+ /SPARTAN/trunk/arch/ia32/include/atomic.h
+ /SPARTAN/trunk/arch/ia32/include/context.h
+ /SPARTAN/trunk/arch/ia32/include/cpu.h
+ /SPARTAN/trunk/arch/ia32/include/cpuid.h
+ /SPARTAN/trunk/arch/ia32/include/ega.h
+ /SPARTAN/trunk/arch/ia32/include/i8042.h
+ /SPARTAN/trunk/arch/ia32/include/i8254.h
+ /SPARTAN/trunk/arch/ia32/include/i8259.h
+ /SPARTAN/trunk/arch/ia32/include/interrupt.h
+ /SPARTAN/trunk/arch/ia32/include/mm
+ /SPARTAN/trunk/arch/ia32/include/mm/frame.h
+ /SPARTAN/trunk/arch/ia32/include/mm/page.h
+ /SPARTAN/trunk/arch/ia32/include/mm/vm.h
+ /SPARTAN/trunk/arch/ia32/include/mp.h
+ /SPARTAN/trunk/arch/ia32/include/pm.h
+ /SPARTAN/trunk/arch/ia32/include/thread.h
+ /SPARTAN/trunk/arch/ia32/include/types.h
+ /SPARTAN/trunk/arch/ia32/Makefile.inc
+ /SPARTAN/trunk/arch/ia32/src
+ /SPARTAN/trunk/arch/ia32/src/asm.s
+ /SPARTAN/trunk/arch/ia32/src/boot
+ /SPARTAN/trunk/arch/ia32/src/boot/boot.S
+ /SPARTAN/trunk/arch/ia32/src/context.s
+ /SPARTAN/trunk/arch/ia32/src/cpu
+ /SPARTAN/trunk/arch/ia32/src/cpu/cpu.c
+ /SPARTAN/trunk/arch/ia32/src/cpuid.s
+ /SPARTAN/trunk/arch/ia32/src/debug
+ /SPARTAN/trunk/arch/ia32/src/debug/panic.s
+ /SPARTAN/trunk/arch/ia32/src/delay.s
+ /SPARTAN/trunk/arch/ia32/src/drivers
+ /SPARTAN/trunk/arch/ia32/src/drivers/ega.c
+ /SPARTAN/trunk/arch/ia32/src/drivers/i8042.c
+ /SPARTAN/trunk/arch/ia32/src/drivers/i8254.c
+ /SPARTAN/trunk/arch/ia32/src/drivers/i8259.c
+ /SPARTAN/trunk/arch/ia32/src/ia32.c
+ /SPARTAN/trunk/arch/ia32/src/interrupt.c
+ /SPARTAN/trunk/arch/ia32/src/mm
+ /SPARTAN/trunk/arch/ia32/src/mm/frame.c
+ /SPARTAN/trunk/arch/ia32/src/mm/page.c
+ /SPARTAN/trunk/arch/ia32/src/mm/tlb.c
+ /SPARTAN/trunk/arch/ia32/src/pm.c
+ /SPARTAN/trunk/arch/ia32/src/smp
+ /SPARTAN/trunk/arch/ia32/src/smp/ap.S
+ /SPARTAN/trunk/arch/ia32/src/smp/apic.c
+ /SPARTAN/trunk/arch/ia32/src/smp/atomic.S
+ /SPARTAN/trunk/arch/ia32/src/smp/mp.c
+ /SPARTAN/trunk/arch/ia32/src/userspace.c
+ /SPARTAN/trunk/arch/ia32/_link.ld
+ /SPARTAN/trunk/arch/mips
+ /SPARTAN/trunk/arch/mips/boot
+ /SPARTAN/trunk/arch/mips/boot/boot.s
+ /SPARTAN/trunk/arch/mips/boot/Makefile
+ /SPARTAN/trunk/arch/mips/include
+ /SPARTAN/trunk/arch/mips/include/asm
+ /SPARTAN/trunk/arch/mips/include/asm.h
+ /SPARTAN/trunk/arch/mips/include/asm/macro.h
+ /SPARTAN/trunk/arch/mips/include/atomic.h
+ /SPARTAN/trunk/arch/mips/include/cache.h
+ /SPARTAN/trunk/arch/mips/include/context.h
+ /SPARTAN/trunk/arch/mips/include/cp0.h
+ /SPARTAN/trunk/arch/mips/include/cpu.h
+ /SPARTAN/trunk/arch/mips/include/exception.h
+ /SPARTAN/trunk/arch/mips/include/interrupt.h
+ /SPARTAN/trunk/arch/mips/include/mm
+ /SPARTAN/trunk/arch/mips/include/mm/frame.h
+ /SPARTAN/trunk/arch/mips/include/mm/page.h
+ /SPARTAN/trunk/arch/mips/include/mm/tlb.h
+ /SPARTAN/trunk/arch/mips/include/mm/vm.h
+ /SPARTAN/trunk/arch/mips/include/thread.h
+ /SPARTAN/trunk/arch/mips/include/types.h
+ /SPARTAN/trunk/arch/mips/Makefile.inc
+ /SPARTAN/trunk/arch/mips/src
+ /SPARTAN/trunk/arch/mips/src/asm.s
+ /SPARTAN/trunk/arch/mips/src/cache.c
+ /SPARTAN/trunk/arch/mips/src/context.S
+ /SPARTAN/trunk/arch/mips/src/cpu
+ /SPARTAN/trunk/arch/mips/src/cpu/cpu.c
+ /SPARTAN/trunk/arch/mips/src/exception.c
+ /SPARTAN/trunk/arch/mips/src/fake.s
+ /SPARTAN/trunk/arch/mips/src/interrupt.c
+ /SPARTAN/trunk/arch/mips/src/lib
+ /SPARTAN/trunk/arch/mips/src/lib/memstr.c
+ /SPARTAN/trunk/arch/mips/src/mips.c
+ /SPARTAN/trunk/arch/mips/src/mm
+ /SPARTAN/trunk/arch/mips/src/mm/frame.c
+ /SPARTAN/trunk/arch/mips/src/mm/page.c
+ /SPARTAN/trunk/arch/mips/src/mm/tlb.c
+ /SPARTAN/trunk/arch/mips/src/panic.s
+ /SPARTAN/trunk/arch/mips/src/putchar.c
+ /SPARTAN/trunk/arch/mips/src/start.S
+ /SPARTAN/trunk/arch/mips/_link.ld
+ /SPARTAN/trunk/arch/powerpc
+ /SPARTAN/trunk/arch/powerpc/boot
+ /SPARTAN/trunk/arch/powerpc/boot/boot.s
+ /SPARTAN/trunk/arch/powerpc/boot/Makefile
+ /SPARTAN/trunk/arch/powerpc/Makefile.inc
+ /SPARTAN/trunk/arch/powerpc/src
+ /SPARTAN/trunk/arch/powerpc/src/powerpc.c
+ /SPARTAN/trunk/arch/powerpc/_link.ld
+ /SPARTAN/trunk/doc
+ /SPARTAN/trunk/doc/mips
+ /SPARTAN/trunk/doc/preemption
+ /SPARTAN/trunk/doc/requirements
+ /SPARTAN/trunk/doc/synchronization
+ /SPARTAN/trunk/doc/TODO
+ /SPARTAN/trunk/include
+ /SPARTAN/trunk/include/arch.h
+ /SPARTAN/trunk/include/config.h
+ /SPARTAN/trunk/include/context.h
+ /SPARTAN/trunk/include/cpu.h
+ /SPARTAN/trunk/include/func.h
+ /SPARTAN/trunk/include/list.h
+ /SPARTAN/trunk/include/main
+ /SPARTAN/trunk/include/main/kinit.h
+ /SPARTAN/trunk/include/main/uinit.h
+ /SPARTAN/trunk/include/memstr.h
+ /SPARTAN/trunk/include/mm
+ /SPARTAN/trunk/include/mm/frame.h
+ /SPARTAN/trunk/include/mm/heap.h
+ /SPARTAN/trunk/include/mm/page.h
+ /SPARTAN/trunk/include/mm/tlb.h
+ /SPARTAN/trunk/include/mm/vm.h
+ /SPARTAN/trunk/include/panic.h
+ /SPARTAN/trunk/include/print.h
+ /SPARTAN/trunk/include/proc
+ /SPARTAN/trunk/include/proc/scheduler.h
+ /SPARTAN/trunk/include/proc/task.h
+ /SPARTAN/trunk/include/proc/thread.h
+ /SPARTAN/trunk/include/putchar.h
+ /SPARTAN/trunk/include/synch
+ /SPARTAN/trunk/include/synch/condvar.h
+ /SPARTAN/trunk/include/synch/mutex.h
+ /SPARTAN/trunk/include/synch/rwlock.h
+ /SPARTAN/trunk/include/synch/semaphore.h
+ /SPARTAN/trunk/include/synch/spinlock.h
+ /SPARTAN/trunk/include/synch/synch.h
+ /SPARTAN/trunk/include/synch/waitq.h
+ /SPARTAN/trunk/include/test.h
+ /SPARTAN/trunk/include/time
+ /SPARTAN/trunk/include/time/clock.h
+ /SPARTAN/trunk/include/time/delay.h
+ /SPARTAN/trunk/include/time/timeout.h
+ /SPARTAN/trunk/include/typedefs.h
+ /SPARTAN/trunk/include/userspace.h
+ /SPARTAN/trunk/src
+ /SPARTAN/trunk/src/cpu
+ /SPARTAN/trunk/src/cpu/cpu.c
+ /SPARTAN/trunk/src/debug
+ /SPARTAN/trunk/src/debug/print.c
+ /SPARTAN/trunk/src/lib
+ /SPARTAN/trunk/src/lib/func.c
+ /SPARTAN/trunk/src/lib/list.c
+ /SPARTAN/trunk/src/main
+ /SPARTAN/trunk/src/main/kinit.c
+ /SPARTAN/trunk/src/main/main.c
+ /SPARTAN/trunk/src/main/uinit.c
+ /SPARTAN/trunk/src/Makefile
+ /SPARTAN/trunk/src/Makefile.config
+ /SPARTAN/trunk/src/mm
+ /SPARTAN/trunk/src/mm/frame.c
+ /SPARTAN/trunk/src/mm/heap.c
+ /SPARTAN/trunk/src/mm/page.c
+ /SPARTAN/trunk/src/mm/tlb.c
+ /SPARTAN/trunk/src/mm/vm.c
+ /SPARTAN/trunk/src/proc
+ /SPARTAN/trunk/src/proc/scheduler.c
+ /SPARTAN/trunk/src/proc/task.c
+ /SPARTAN/trunk/src/proc/thread.c
+ /SPARTAN/trunk/src/synch
+ /SPARTAN/trunk/src/synch/condvar.c
+ /SPARTAN/trunk/src/synch/mutex.c
+ /SPARTAN/trunk/src/synch/rwlock.c
+ /SPARTAN/trunk/src/synch/semaphore.c
+ /SPARTAN/trunk/src/synch/spinlock.c
+ /SPARTAN/trunk/src/synch/waitq.c
+ /SPARTAN/trunk/src/time
+ /SPARTAN/trunk/src/time/clock.c
+ /SPARTAN/trunk/src/time/delay.c
+ /SPARTAN/trunk/src/time/timeout.c
+ /SPARTAN/trunk/test
+ /SPARTAN/trunk/test/synch
+ /SPARTAN/trunk/test/synch/rwlock1
+ /SPARTAN/trunk/test/synch/rwlock1/test.c
+ /SPARTAN/trunk/test/synch/rwlock2
+ /SPARTAN/trunk/test/synch/rwlock2/test.c
+ /SPARTAN/trunk/test/synch/rwlock3
+ /SPARTAN/trunk/test/synch/rwlock3/test.c
+ /SPARTAN/trunk/test/synch/rwlock4
+ /SPARTAN/trunk/test/synch/rwlock4/test.c
+ /SPARTAN/trunk/test/synch/rwlock5
+ /SPARTAN/trunk/test/synch/rwlock5/test.c
+ /SPARTAN/trunk/test/synch/semaphore1
+ /SPARTAN/trunk/test/synch/semaphore1/test.c
+ /SPARTAN/trunk/test/synch/semaphore2
+ /SPARTAN/trunk/test/synch/semaphore2/test.c