Adds support for DANGEROUS annotation
authorZach Anderson <zra@intrepid.(none)>
Wed, 4 Mar 2009 00:21:31 +0000 (16:21 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 4 Mar 2009 00:21:31 +0000 (16:21 -0800)
commit6bb089e2356ea4198362d718c0af6f1928d50ac6
tree2f502209a8999812267f42da210af0cf8ce49283
parent2d19cbe7c95048e773098bd1f803da886e98c863
Adds support for DANGEROUS annotation

Used to mark userspace pointers, which can't be dereferenced
until checked.  Also sorts some Makefrag and pgdir issues.
REBUILD YOUR IVY
kern/Makefrag
kern/env.c
kern/pmap.c
kern/pmap.h
kern/syscall.c