Fix vkernel build after pmap changes.
commit67d1661cff40128269011cd05ce32ebf03b15da7
authorSascha Wildner <saw@online.de>
Sun, 17 Jul 2016 02:58:42 +0000 (17 04:58 +0200)
committerSascha Wildner <saw@online.de>
Sun, 17 Jul 2016 02:58:42 +0000 (17 04:58 +0200)
treee770326878c93eb6809d9e2023400913d00c27d7
parent1af05cbf3b5304ea12ab8a0040cb3769800a020e
Fix vkernel build after pmap changes.
sys/platform/vkernel64/platform/pmap.c