pc64/x86_64/mp_machdep.c: fix some issues to get working the vkernels
authorMihai Carabas <mihai.carabas@gmail.com>
Mon, 18 Jun 2012 08:48:36 +0000 (11:48 +0300)
committerMihai Carabas <mihai.carabas@gmail.com>
Fri, 10 Aug 2012 12:14:09 +0000 (15:14 +0300)
commit1d52c43f3d7241d03fd44a20549b7d54d4480680
tree3b76e7158a3f59a07cdc1671415e491d6fc7a310
parentaba4dc04735de84f8751499a662f0476a0ef62fe
pc64/x86_64/mp_machdep.c: fix some issues to get working the vkernels
sys/platform/pc64/include/smp.h
sys/platform/pc64/x86_64/mp_machdep.c