git: kernel: Unbreak vkernel64 build.

[Nuno Antunes]

commit 1ad934198d028651377264e038f8e84bea80d1db
Author: Nuno Antunes <nuno.antunes at gmail.com>
Date:   Fri Jul 4 09:03:36 2014 +0100

    kernel: Unbreak vkernel64 build.

Summary of changes:
 sys/platform/vkernel64/platform/pmap.c       |  4 ++--
 sys/platform/vkernel64/platform/pmap_inval.c |  4 ++--
 sys/platform/vkernel64/x86_64/db_interface.c | 10 +++++-----
 sys/platform/vkernel64/x86_64/mp.c           | 12 ++++++------
 4 files changed, 15 insertions(+), 15 deletions(-)

http://gitweb.dragonflybsd.org/dragonfly.git/commitdiff/1ad934198d028651377264e038f8e84bea80d1db


-- 
DragonFly BSD source repository