vkernel64 - Fix build
authorMatthew Dillon <dillon@apollo.backplane.com>
Wed, 29 Aug 2018 17:11:34 +0000 (10:11 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Wed, 29 Aug 2018 17:11:34 +0000 (10:11 -0700)
commit2d2982c3e67466d67e44594ec9ff24a5dc88e37e
tree933b92f7d5550c9b9a8baa03ff0d9714fa742b6d
parentca50f0d271948b08f961108a838a9ccce8634e1b
vkernel64 - Fix build

* Add missing CPUID_TO_APICID() macro which vm_page.c now needs.

Reminded-by: swildner
sys/platform/vkernel64/include/smp.h