vkernel - Adjust to fix buildkernel
authorMatthew Dillon <dillon@apollo.backplane.com>
Wed, 9 May 2018 23:51:44 +0000 (16:51 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Wed, 9 May 2018 23:51:44 +0000 (16:51 -0700)
commit9236861c364fc0dbedb6c650b5e36b882798508d
treec5d1ff0be92bd047f9fd1a8c92cc1f1c9f2781aa
parent757c006e11498c28239190d76a7fa86038e0d67c
vkernel - Adjust to fix buildkernel

* Adjust to fix buildkernel
sys/platform/vkernel64/x86_64/trap.c