If no memory image file is specified, locate or create one by running
authorMatthew Dillon <dillon@dragonflybsd.org>
Sat, 6 Jan 2007 19:57:01 +0000 (19:57 +0000)
committerMatthew Dillon <dillon@dragonflybsd.org>
Sat, 6 Jan 2007 19:57:01 +0000 (19:57 +0000)
commit3748859afbef0f41d06e5783ffd642787da32ade
tree2bfbb041f0ef925279b2b1afe2318a50e108b5d2
parent71152ac68e0199a212985dab32c2c87c1ea3ca5c
If no memory image file is specified, locate or create one by running
through available indices instead of using the PID.

Make sure the kernel page table is properly cleared since the image file may
be reused.
sys/platform/vkernel/platform/init.c