build - Fix vkernel64 build
authorMatthew Dillon <dillon@apollo.backplane.com>
Mon, 7 Jul 2014 05:16:51 +0000 (22:16 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Mon, 7 Jul 2014 05:16:51 +0000 (22:16 -0700)
commitd97990a1f2a25f82416585c096b8149f9e5419ce
treebd905321cc99cf560ae3c4e9e0a31e9a5db8a1c3
parentf997c7ee267fed205a26272d851e2ddeb137fdc2
build - Fix vkernel64 build

* Fix build due to missing declaration from recent commit.
sys/platform/vkernel64/x86_64/mp.c