vkernel - Invalidate pte before setting attributes to the vm_page
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Tue, 20 Sep 2016 23:31:58 +0000 (01:31 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Thu, 6 Oct 2016 17:54:22 +0000 (19:54 +0200)
commitcc12ae22e5fe873c76080ba16c282b3df4015634
treee2ccee3058eb29ad2153646bff585d311048fc08
parenta60193ca59d325e40b28928b80c8941c43e17231
vkernel - Invalidate pte before setting attributes to the vm_page

- Fixes a problem at mountroot time where it doesn't find any disk
  even though the disk is detected earlier.
sys/platform/vkernel64/platform/pmap.c