adds fkvm_guest_check_range
commit2fdaace4e3a3fbb8d43b0469ad663c8c677d1056
authorDiego Ongaro <ongardie@gmail.com>
Wed, 29 Oct 2008 02:56:34 +0000 (28 21:56 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Wed, 29 Oct 2008 03:04:57 +0000 (28 22:04 -0500)
treea7673786a3038603bc73785d49f13230426f2fd9
parent85630e02d2b92f26d735bf8e593f6f57609a5cef
adds fkvm_guest_check_range
sys/kern/kern_fkvm.c