Merge commit 'brent/register_phys_mem'
commit5e3205f343be8e70f0f34efc05d071248c0b95dc
authorDiego Ongaro <diego.ongaro@rice.edu>
Sat, 25 Oct 2008 04:11:04 +0000 (24 23:11 -0500)
committerDiego Ongaro <diego.ongaro@rice.edu>
Sat, 25 Oct 2008 04:11:04 +0000 (24 23:11 -0500)
tree31f46d67aabda0fc30706399202fca2c412da5bb
parent480df2ae67c4a9907483109df227ccdd5b5028aa
parent8194df70458648b55c83581bdf1cebce5e69dfde
Merge commit 'brent/register_phys_mem'
sys/kern/kern_fkvm.c