vkernel - Fix build
authorMatthew Dillon <dillon@apollo.backplane.com>
Mon, 13 Dec 2010 04:00:04 +0000 (20:00 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Mon, 13 Dec 2010 04:00:04 +0000 (20:00 -0800)
commite130cdcb3d7471b950dd9c8a55c21c9b84022970
tree40096c5543825e7339a49fab595fafb4df5cee1e
parentcbdd23b1e5d007ed3aa4b7b24b111f3f3e0561cb
vkernel - Fix build

* Fix vkernel build after mplock->mp_token changes.  The vkernel was
  hitting an early panic due to not properly acquiring the new mp_token.

Reported-by: Venkatesh Srinivas <me@endeavour.zapto.org>
sys/platform/vkernel/platform/init.c
sys/platform/vkernel64/platform/init.c