fkvm_create_vcpu: fix contigfree in place of free, return values
commit48cfb4c7927d1243e8a4c9e4deec48600191ed4e
authorDiego Ongaro <diego.ongaro@rice.edu>
Sat, 25 Oct 2008 05:11:52 +0000 (25 00:11 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sat, 25 Oct 2008 05:11:52 +0000 (25 00:11 -0500)
tree2f11232896ef4807de10513556d1540a61279839
parente8bbcae9d66cdedaa991e2e080eed5548ab5705c
fkvm_create_vcpu: fix contigfree in place of free, return values
sys/kern/kern_fkvm.c