Adding SharC annotations. Type checker off
authorZach Anderson <zra@fortitude.(none)>
Tue, 15 Sep 2009 01:50:02 +0000 (18:50 -0700)
committerZach Anderson <zra@fortitude.(none)>
Tue, 15 Sep 2009 01:50:02 +0000 (18:50 -0700)
commit7ed63527b2ff98e33990b20db21c3b22f2a9bcbf
tree527fe4a57eeb4165ad6aaadb6b78ac326ae1f5b4
parent1fb4260d1a523093a48dfe7200c46e84a2785c47
Adding SharC annotations. Type checker off
27 files changed:
kern/arch/i386/apic.c
kern/arch/i386/colored_caches.c
kern/arch/i386/kdebug.c
kern/arch/i386/page_alloc.c
kern/arch/i386/pmap.c
kern/arch/i386/smp_boot.c
kern/include/atomic.h
kern/include/colored_caches.h
kern/include/env.h
kern/include/kfs.h
kern/include/multiboot.h
kern/include/page_alloc.h
kern/include/pmap.h
kern/include/process.h
kern/include/ros/error.h
kern/src/colored_caches.c
kern/src/env.c
kern/src/init.c
kern/src/kmalloc.c
kern/src/manager.c
kern/src/monitor.c
kern/src/multiboot.c
kern/src/pmap.c
kern/src/printf.c
kern/src/readline.c
kern/src/testing.c
kern/src/timer.c