git: vkernel - Fix build

[Antonio Huete Jimenez]

commit 3c5ebf1876abd7183782aa08137d51f9e28a6859
Author: Antonio Huete Jimenez <tuxillo at quantumachine.net>
Date:   Fri Mar 31 00:54:24 2017 +0200

    vkernel - Fix build

Summary of changes:
 sys/platform/vkernel64/platform/pmap_inval.c | 6 ++++++
 1 file changed, 6 insertions(+)

http://gitweb.dragonflybsd.org/dragonfly.git/commitdiff/3c5ebf1876abd7183782aa08137d51f9e28a6859


-- 
DragonFly BSD source repository