vkernel - Fix build
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Mon, 10 Aug 2015 12:12:35 +0000 (05:12 -0700)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Mon, 10 Aug 2015 12:12:35 +0000 (05:12 -0700)
commit79b2f2bf54e33534bccb1c82251f3a47304b7352
treef6733bea7a59800689a0eb001ddc0f9bff1881a8
parentb8e290cd7a449ac852d5fd9bc558059a54df8aa8
vkernel - Fix build
sys/platform/vkernel64/x86_64/db_interface.c