Getting SharC to check some locking
authorZach Anderson <zra@zra-intrepid.(none)>
Fri, 28 Aug 2009 19:49:24 +0000 (12:49 -0700)
committerZach Anderson <zra@zra-intrepid.(none)>
Fri, 28 Aug 2009 19:49:24 +0000 (12:49 -0700)
commit262da407bd885fc37d38741094b151c3964632e3
treeb977ef25fcbf9322cbcb7f22ae18d3fa7b414749
parent67290e3b855e8c81028d23fc15caf710ba11fbff
Getting SharC to check some locking
57 files changed:
GNUmakefile
kern/Makefrag
kern/arch/i386/apic.c
kern/arch/i386/arch.h
kern/arch/i386/atomic.h
kern/arch/i386/colored_caches.c
kern/arch/i386/console.c
kern/arch/i386/cpuinfo.c
kern/arch/i386/env.c
kern/arch/i386/kclock.c
kern/arch/i386/kdebug.c
kern/arch/i386/page_alloc.c
kern/arch/i386/pmap.c
kern/arch/i386/smp.c
kern/arch/i386/smp_boot.c
kern/arch/i386/trap.c
kern/arch/sparc/env.c
kern/arch/sparc/pmap.c
kern/arch/sparc/trap.c
kern/include/assert.h
kern/include/atomic.h
kern/include/env.h
kern/include/ivy/sharc.h [new file with mode: 0644]
kern/include/monitor.h
kern/include/pmap.h
kern/include/process.h
kern/include/ros/memlayout.h
kern/include/stdio.h
kern/include/syscall.h
kern/include/trap.h
kern/ivy/Makefrag
kern/ivy/deputy.c
kern/ivy/sharc.c [new file with mode: 0644]
kern/src/atomic.c
kern/src/colored_caches.c
kern/src/env.c
kern/src/init.c
kern/src/kfs.c
kern/src/kmalloc.c
kern/src/manager.c
kern/src/monitor.c
kern/src/multiboot.c
kern/src/page_alloc.c
kern/src/pmap.c
kern/src/printf.c
kern/src/printfmt.c
kern/src/process.c
kern/src/readline.c
kern/src/schedule.c
kern/src/smp.c
kern/src/string.c
kern/src/syscall.c
kern/src/sysevent.c
kern/src/testing.c
kern/src/timer.c
kern/src/workqueue.c
user/Makefrag